Did some minor textual changes.