making jslint (more) happy