minor Haddock fixes