Fixed smt from >= to =