diff --git a/gap/constructions.gi b/gap/constructions.gi
index a2ce3bc..19c1590 100644
--- a/gap/constructions.gi
+++ b/gap/constructions.gi
@@ -101,12 +101,15 @@ InstallGlobalFunction(TrivialRightQuandle,
     return RightTrivs@[n];
 end);
 
-InstallMethod(IsTrivial, "for a left quasigroup",
-  [IsLeftQuasigroup],
+# The below needs to be immediate because otherwise it
+# is pre-empted by the immediate method that all collections of size
+# larger than one are non-trivial.
+InstallImmediateMethod(IsTrivial, "for a left quasigroup",
+  [IsLeftQuasigroup and HasSize],
   Q -> ForAll(LeftPerms(Q), p -> p = ())
 );
 
-InstallMethod(IsTrivial, "for a left quasigroup",
+InstallMethod(IsTrivial, "for a right quasigroup",
   [IsRightQuasigroup],
   Q -> ForAll(RightPerms(Q), p -> p = ())
 );