diff --git a/collects/lang/posn.rkt b/collects/lang/posn.rkt
index b96ae4d7a8..059b534899 100644
--- a/collects/lang/posn.rkt
+++ b/collects/lang/posn.rkt
@@ -3,7 +3,7 @@
 (require lang/private/signature-syntax)
 
 ;; The posn struct for the teaching languages
-(provide make-posn posn? posn-x posn-y set-posn-x! set-posn-y!
+(provide struct:posn make-posn posn? posn-x posn-y set-posn-x! set-posn-y!
 	 (rename-out (posn-signature posn)))
 
 (struct posn (x y) #:mutable #:transparent)