minor textual updates