a little change on SMT model