Minor fixes for jshint