Make Haddock happy
Version 4.2.28