Add some spaces to try to get coqdoc working

The preformatted output looks wrong.