Perhaps my information was old? I had been intending to save up several mismatch errors (as reported by BatBrain in combat) and report them all at once (since they are essentially completely irrelevant bugs), but that was the only one I found for a while so decided to make it part of my Tiny Bug Report Extravaganza.