A few additional revisions