Fix at translating identifiers (?)