fix bug in INSTALL