Fix a name error

Oops.  I neglected to check that a last-minute change I made to
8add452dbeb0b517a36708c07e11a2166ed2d952 worked.
Merge pull request #143 from JasonGross/fix-names

Fix a name error