small corrections to haddock documentation