Revised version.