typos and minor fixes