fix minor problems in jago type translator