Remove duplicate haddock markup

I suspect this was just a copy and paste mistake.