Minor semantic edits