Small fixes for jshint