Minor revisions (grammar, references)