small tweaks to JSHINT