Minor changes dircected by jshint