fix typos

They are typos maybe.