make JSLint happy