Small adjustments for jslint