fix Haddock markup