minor fixes for typos