miscellaneous fixes to the readme