fix a minor problem in Jago type translator