Fix some haddock