Minor style bugfixes (for jshint).