fix typos pointed out by Prof. Stump
fix typos