Fix for NameError caught by PyChecker.
(This command seems to be essentially untested; should fix that...)
1 file changed