Correct "p" to "r" in the proof of Lemma 3.11.7
Merge pull request #355 from rwbarton/lemma-3-11-7

Correct "p" to "r" in the proof of Lemma 3.11.7