fixing typos discovered this morning, etc.