diff --git a/gap/constructions.gi b/gap/constructions.gi
index c5f616f..6181b09 100644
--- a/gap/constructions.gi
+++ b/gap/constructions.gi
@@ -88,18 +88,19 @@ end);
 
 InstallGlobalFunction(TrivialRightQuandle,
   function(n)
-    local I;
+    local trivs, I;
     if not IsBound(RightTrivs@[n]) then
-      I := AsRightQuandle(List([1..n], RInertum@));
+      trivs := List([1..n], RInertum@);
+      I := RightQuandleNC(CollectionsFamily(RInertumFamily@), trivs);
       SetIsTrivial(I, true);
-      SetIsBuiltFromMultiplicationTable(I, true);
+      SetAsSSortedList(I, trivs);
       SetMultiplicationTable(I,
         List([1..n], i -> ListWithIdenticalEntries(n, i)));
       RightTrivs@[n] := I;
     fi;
     return RightTrivs@[n];
 end);
-     
+
 InstallMethod(IsTrivial, "for a left quasigroup",
   [IsLeftQuasigroup],
   Q -> ForAll(LeftPerms(Q), p -> p = ())