Fixing a few typos, etc.