diff --git a/data/deprecated.json b/data/deprecated.json
index 6644ca349..84f806ded 100644
--- a/data/deprecated.json
+++ b/data/deprecated.json
@@ -247,6 +247,10 @@
     "old": {"building": "household"},
     "replace": {"building": "house"}
   },
+  {
+    "old": {"building": "pavillion"},
+    "replace": {"building": "pavilion"}
+  },
   {
     "old": {"building:color": "*"},
     "replace": {"building:colour": "$1"}