fixed trivial bugs/typos