diff --git a/next-lib/src/abstract/Extra.gf b/next-lib/src/abstract/Extra.gf
index b0601019f..fe893d958 100644
--- a/next-lib/src/abstract/Extra.gf
+++ b/next-lib/src/abstract/Extra.gf
@@ -11,7 +11,7 @@ abstract Extra = Cat ** {
     ComplBareVS : VS -> S -> VP ;     -- know you go
 
     StrandRelSlash   : RP -> ClSlash -> RCl ;   -- that he lives in
-    EmptyRelSlash    : RP -> ClSlash -> RCl ;   -- he lives in
+    EmptyRelSlash    : ClSlash -> RCl ;   -- he lives in
     StrandQuestSlash : IP -> ClSlash -> QCl ;   -- whom does John live with
 
 -- $VP$ conjunction, which has different fragments implemented in
diff --git a/next-lib/src/english/ExtraEng.gf b/next-lib/src/english/ExtraEng.gf
index b27f411d9..fa836cda4 100644
--- a/next-lib/src/english/ExtraEng.gf
+++ b/next-lib/src/english/ExtraEng.gf
@@ -10,7 +10,7 @@ concrete ExtraEng of ExtraEngAbs = CatEng **
         rp.s ! RC (fromAgr ag).g Acc ++ slash.s ! t ! a ! p ! ODir ++ slash.c2 ;
       c = Acc
       } ;
-    EmptyRelSlash rp slash = {
+    EmptyRelSlash slash = {
       s = \\t,a,p,_ => slash.s ! t ! a ! p ! ODir ++ slash.c2 ;
       c = Acc
       } ;
diff --git a/next-lib/src/latin/ExtraLat.gf b/next-lib/src/latin/ExtraLat.gf
index 5fc660221..09c9059ac 100644
--- a/next-lib/src/latin/ExtraLat.gf
+++ b/next-lib/src/latin/ExtraLat.gf
@@ -10,7 +10,7 @@
 --        rp.s ! RC (fromAgr ag).g Acc ++ slash.s ! t ! a ! p ! ODir ++ slash.c2 ;
 --      c = Acc
 --      } ;
---    EmptyRelSlash rp slash = {
+--    EmptyRelSlash slash = {
 --      s = \\t,a,p,_ => slash.s ! t ! a ! p ! ODir ++ slash.c2 ;
 --      c = Acc
 --      } ;
diff --git a/next-lib/src/scandinavian/ExtraScand.gf b/next-lib/src/scandinavian/ExtraScand.gf
index 360cb3832..5e6594235 100644
--- a/next-lib/src/scandinavian/ExtraScand.gf
+++ b/next-lib/src/scandinavian/ExtraScand.gf
@@ -13,7 +13,7 @@ incomplete concrete ExtraScand of ExtraScandAbs = CatScand **
           rp.s ! ag.gn ! RNom ++ slash.s ! t ! a ! p ! Sub ++ slash.c2.s ;
       c = NPAcc
       } ;
-    EmptyRelSlash rp slash = {
+    EmptyRelSlash slash = {
       s = \\t,a,p,ag => 
           slash.s ! t ! a ! p ! Sub ++ slash.c2.s ;
       c = NPAcc