Deleting a few typos