very minor code tweaks in translator