a few jsLint corrections