fix bad Linux link, minor textual improvements