Pushing changes in the jslint summary