A couple of minor edits