Haddock documentation fixup