update JSlint to 2013-09-20