Made jslint happy.