minor textual tweaks