more formatting INSTALL