jslint ; corrections