NEW: jslint 2013-05-31