Fixing a haddock link for <>