Making jslint happy