fix a translation error (?)