typos, minor updates, fixes.