make stupid jslint happy