Equivalence fixed for #SCL-4891