Fixed some typos noticed while giving talk