fixed typo in z3 option