Haddock markup for non-haddock comments removed.

Some haddock-style comments were preventing the successful building of haddock.