diff --git a/collects/typed/net/dns.rkt b/collects/typed/net/dns.rkt
index db33203cad..1f8e42d3ec 100644
--- a/collects/typed/net/dns.rkt
+++ b/collects/typed/net/dns.rkt
@@ -3,7 +3,7 @@
 (require typed/private/utils)
 
 (require/typed/provide net/dns
-  [dns-get-address (String String -> String)]
+  [dns-get-address (String String [#:ipv6? Any] -> String)]
   [dns-get-name (String String -> String)]
   [dns-get-mail-exchanger (String String -> String )]
   [dns-find-nameserver (-> (Option String))])