Typos and other fixes.