Haddock reader: make clearer which production the comment refers to.