fix haddock formatting bugs