Tweak docs so haddock will succeed