typos and other fixes