Fix haddock comment