fix #616; translator bug