correction to INSTALL