Clean up a few details in INSTALL and README