Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
I think you'll be missing a space.  Use `{\Coq}` to get it back.