This commit: some minor edits.