small fixes in [Smt] (related to last revert-commit)