bugfix in new implementation of translation visitor