Fixed a mistake in the INSTALL file