Fix a minor jslint issue