Fix a couple typos, update references to repos that have moved to github,
modify a sentence or two.