haddock formatting fix