Small revisions.
