Typos
events dumper: flush stdout so output can be piped