web: fix a haddock breakage