Make jslint happy.