INSTALL: correction