Fix haddock failure :-(