JSlint corrections