Correct a few typos in the Z3 section
Merge pull request #24 from cmpxchg/patch-1

Correct a few typos in the Z3 section