Minor changes for publication.