diff --git a/gap/constructions.gi b/gap/constructions.gi
index 19c1590..c7beaae 100644
--- a/gap/constructions.gi
+++ b/gap/constructions.gi
@@ -105,7 +105,7 @@ end);
 # 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],
+  [IsLeftQuasigroup and HasSize], 1,
   Q -> ForAll(LeftPerms(Q), p -> p = ())
 );