Make jslint happy