fix typos pointed out by Zeno`