make jslint happier