Fix Haddock formatting