Made a correction to the Z3 interface.