Made quick tx changes in the INSTALL file