Fix missing coqdoc character

It was a missing ']', and not spaces, after all.