diff --git a/docs/1000.yaml b/docs/1000.yaml
index 02de8cdb24e86..64168a6a6f4ae 100644
--- a/docs/1000.yaml
+++ b/docs/1000.yaml
@@ -1066,7 +1066,6 @@ Q1050203:
 Q1050932:
   title: Hartogs's theorem
   url: https://github.com/girving/ray/blob/main/Ray/Hartogs/Hartogs.lean
-  decl: Pair.hartogs
   author: Geoffrey Irving
 
 Q1051404: