Made jslint happy