Fix bug on formatting in coq.md.