Even more spaces for coqdoc?

I'm not sure what's going wrong