Change comment markup so haddock don't hiccup