Después de este breve periodo, la organización volvió a su nombre original de Partido Revolucionario de los Trabajadores.