fix bug: fix smt
Merge branch 'development'