diff --git a/pkgs/plt-services/meta/pkg-push/push-catalog.rkt b/pkgs/plt-services/meta/pkg-push/push-catalog.rkt
index 95ef7afe20..50d1fa6111 100644
--- a/pkgs/plt-services/meta/pkg-push/push-catalog.rkt
+++ b/pkgs/plt-services/meta/pkg-push/push-catalog.rkt
@@ -158,7 +158,7 @@
                                     'checksum
                                     empty-source-checksum)))))
 
-(define (add-rung-0 ht)
+(define (add-ring-0 ht)
   (hash-set ht 'ring 0))
 
 ;; ------------------------------