diff --git a/collects/mred/private/wx/platform.rkt b/collects/mred/private/wx/platform.rkt
index 2e0678978d..a3b1555a9e 100644
--- a/collects/mred/private/wx/platform.rkt
+++ b/collects/mred/private/wx/platform.rkt
@@ -9,7 +9,7 @@
       [(windows) (if (getenv "PLT_WIN_GTK")
                      gtk-lib
                      '(lib "mred/private/wx/win32/platform.rkt"))]
-      [(maxcosx) '(lib "mred/private/wx/cocoa/platform.rkt")]
+      [(macosx) '(lib "mred/private/wx/cocoa/platform.rkt")]
       [(unix) gtk-lib])))
 
 (define-values (button%