Make JSLint happy.