Unnecessary or incorrect proofreading hint?

[derhannes]

In my opinion, this reference is unnecessary in this case.

[asherber]

Good point. It looks like the proofreader may not be taking the repeat into account.