Manual changes to the jslint files