Fix variable shadowing in §5.3.
Merge pull request #419 from zhenlin/typos

Fix a variable shadowing typo in §5.3.