fixed problems on z3