Fixing mistake in INSTALL