Issue minor corrections and updates to INSTALL file.