Fixed a minor error in the INSTALL file.