Fix Haddock markup