Correct a few typos in the Z3 section