Minor change to INSTALL