Ah, is that the way to address that? I don't run into incorrect error highlighting often, and it's mostly great, but when it gets it wrong, it can be very stubborn about it.