Fix bug in translation