JS Lint panel tweak while I'm at it.