Make Haddock happy.