small refactor in infix_translator
fixed encoding comment