Typos and small cleanups.