diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index dd7fb547..536f0d67 100644
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -818,7 +818,8 @@ bagof(Template, Goal, Solution) :-
 :- non_counted_backtracking iterate_variants_and_sort/3.
 
 iterate_variants_and_sort([V-Solution0|GroupSolutions], V, Solution) :-
-    sort(Solution0, Solution),
+    sort(Solution0, Solution1),
+    Solution1 = Solution,
     (  GroupSolutions == [] -> !
     ;  true
     ).
diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs
index 9f22bfc8..af22252a 100644
--- a/tests/scryer/issues.rs
+++ b/tests/scryer/issues.rs
@@ -155,7 +155,7 @@ fn ignored_constraint() {
     run_top_level_test_no_args(
         "use_module(library(freeze)), freeze(X,false), X \\=a.\n\
          halt.",
-        "   freeze:freeze(X,user:false).\n",
+        "   freeze:freeze(X,false).\n",
     );
 }