fixed previous incorrect update of the smt-model output