minor (grammatical) edits, taking out old comments