Minor typos and other fixes