Fix Haddock syntax