Minor edits

Some minor edits.