Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
I think you want a space after your comma after `coqc`.