update for some typos and formatting