Minor syntax fixes pointed out by jshint