fix some typos and reformatting.