Light editing: some typos, some word choices, some markup