fix a small problem in type translator