diff --git a/src/exchangedb/procedures.sql b/src/exchangedb/procedures.sql
index f39e359c1..1e9b6b166 100644
--- a/src/exchangedb/procedures.sql
+++ b/src/exchangedb/procedures.sql
@@ -2198,7 +2198,7 @@ BEGIN
 
 -- FIXME: implement!
 
-END $$
+END $$;
 
 
 COMMIT;