Minor documentation/haddock fixes