Various typos and bug fixes.