Make jsHint happy.