Miscellaneous typos and fixes.