Correct Haddock markup