Github 1296

Fix a problem found by pylint in PR #1296.