typo in proof of Definition 8.6.5

path needed to be inverted