Makes the new jslint happy.