Fix Haddock error (fixes #127).