Updating Haddock documentation