Minor refresh of INSTALL instructions