TEMPORARY
Fix a minor jslint issue