making jslint a little bit happier