Fix a missing "]" for coqdoc