jslint doesn't compain anymore