Make jslint more happy