Minor updates to INSTALL and README