Huh. Right you are! I hadn't noticed that (but I had noticed JSLint complaining about whitespace at the end of lines in other pull requests... funny that I notice it in one that jslint did not care about).