Small changes suggested by jshint