Some minor textual changes.