Patch for section 4.4

definition 4.4.1, has a 'z' but should be a 'y' in the diagram

Thanks to David Mykytyn