making jslint happy