Modify files to workaround a jslint error