typos and syntax fixes