fix a haddock failure reported by hydra