diff --git a/network-query.rkt b/network-query.rkt
index aa93578..346d4d7 100644
--- a/network-query.rkt
+++ b/network-query.rkt
@@ -147,7 +147,7 @@
 (define (make-dns-address ip-address)
   (udp-address (ip->host-name ip-address) 53))
 
-;; network-query : UdpAddress Question DomainName NEListOf<DomainName> UniqueId -> OsProcess
+;; network-query : UdpAddress Question DomainName NEListOf<DomainName> UniqueId -> BootK
 (define (network-query s q zone-origin server-names unique-id)
   (os-big-bang/transition
    (try-next-server (network-query-state (network-request s q zone-origin server-names unique-id)