fix typos, thanks to Andrei Popescu