I can’t really say it shouldn’t have been obvious which definition was most apt.
edit: I was gonna say something snarky, but redecided. I will say your definition of when someone else makes an “error” is very liberal. If this kind of comment came up during peer review, I’d shoot it down as being needlessly nitpicky.
