jlint fixes.