Makes jslint happy.