fixes to readme4