more minor textual changes