little changes to z3