Fix haddock syntax error