make jslint happy