Updated published version.