あれは別に訂正してやらんでも、成り行きでよかったでしょう。
通訳以外、場内だれもが間違いに気が付いていたでしょうから。
日常のやり取りでもよくある話です。あえて指摘することで
場が気まずくなる事もありますし。日曜は失笑が漏れてしまいました。