some minor textual bugfixes