Correcting haddock markup