temporary fix for equivalent sorts