July 9th edits to typos