minor textual adjustments