Update INSTALL

polishing