Correct some mis-phrasing in the INSTALL file.