Fix bug in FileTranslator