Some small revisions.