Fix haddock format