MINOR EDITS
More minor edits.