A different fix for variable shadowing in Lemma 11.2.2.

Conflicts with #392.
add b002a64 to errata
Merge branch 'lemma11.2.2'

Conflicts:
	errata.tex