Make haddock happy