Fix haddock documentation error