some minor textual changes