Keep jshint happy