Minor updates in INSTALL and README