typos and other minor fixes