Fix haddock formatting