Updates to correct typos and clarify a few points.