make jshint happy (avoid leaking globals)