diff --git a/set.mm b/set.mm
index 9f0754d59..3ef0b4b17 100644
--- a/set.mm
+++ b/set.mm
@@ -93797,7 +93797,7 @@ singletons being the empty set ( ` A e/ _V ` ).  (Contributed by AV,
   1sdom2ALT $p |- 1o ~< 2o $=
     ( c1o csuc c2o csdm com wcel wbr 1onn php4 ax-mp df-2o breqtrri ) AABZCDAEF
     AMDGHAIJKL $.
-  $( $j usage '1sdom2' avoids 'ax-pow'; $)
+  $( $j usage '1sdom2ALT' avoids 'ax-pow'; $)
 
   ${
     $d A x $.  $d A f $.