This seems like such a strange take. You make it sound like it's cost you effort to translate the error, but how are you quantifying that effort? If effort efficiency is something you're striving for, it doesn't feel like it makes sense to correct the mistake (which costs effort to do)
The gap between the two - what they said and what they meant - seems so small it probably took more "work" to correct them.
I'd go as far as to say that the work to correct them will never be repaid by the saved effort of not having to encounter this particular mistakes from this particular person ever again.
This seems like such a strange take. You make it sound like it's cost you effort to translate the error, but how are you quantifying that effort? If effort efficiency is something you're striving for, it doesn't feel like it makes sense to correct the mistake (which costs effort to do)
The gap between the two - what they said and what they meant - seems so small it probably took more "work" to correct them.
I'd go as far as to say that the work to correct them will never be repaid by the saved effort of not having to encounter this particular mistakes from this particular person ever again.