fix a bug in StringTrans