Fix up README/INSTALL docs