diff --git a/collects/meta/props b/collects/meta/props
index 26db470d2d..8810c70585 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1038,12 +1038,10 @@ path/s is either such a string or a list of them.
 "collects/mred/private/moredialogs.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/mred/private/mrcanvas.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/mred/private/mrcontainer.rkt" drdr:command-line (gracket-text "-t" *)
-"collects/mred/private/mrgroupbox.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/mred/private/mritem.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/mred/private/mrmenu.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/mred/private/mrpanel.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/mred/private/mrpopup.rkt" drdr:command-line (gracket-text "-t" *)
-"collects/mred/private/mrtabgroup.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/mred/private/mrtextfield.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/mred/private/mrtop.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/mred/private/mrwindow.rkt" drdr:command-line (gracket-text "-t" *)
diff --git a/collects/mred/private/mrgroupbox.rkt b/collects/mred/private/mrgroupbox.rkt
deleted file mode 100644
index 61325056f6..0000000000
--- a/collects/mred/private/mrgroupbox.rkt
+++ /dev/null
@@ -1 +0,0 @@
-(module mrgroupbox mzscheme)
diff --git a/collects/mred/private/mrtabgroup.rkt b/collects/mred/private/mrtabgroup.rkt
deleted file mode 100644
index b2376352a6..0000000000
--- a/collects/mred/private/mrtabgroup.rkt
+++ /dev/null
@@ -1 +0,0 @@
-(module mrtabgroup mzscheme)