fixed some haddock formatting