Minor change in INSTALL