diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss
index 93bf968e..9cfa5622 100644
--- a/collects/mred/private/kernel.ss
+++ b/collects/mred/private/kernel.ss
@@ -391,6 +391,8 @@
     get-char-width
     get-char-height
     get-text-extent
+    get-anti-alias
+    set-anti-alias
     set-text-foreground
     set-text-background
     set-pen