Made a few clarifying revisions