Small fixes to jshint