minor correction to INSTALL