minor typos and fixes