This update to JSLint is not required for this PR, right? Might want to split it into a separate PR in case it causes any problems.