Hello,

Here is a small patch cleaning up ob-coq.