Minor fixes for publication.