Minor edits

Here are some minor changes mentioned in the meetings.