Improve comment style for coqdoc