Play nice with the latest JSLint.