update INSTALL
formatting