Make JSLint happy