Minor final edits