diff --git a/src/bulgarian/DocumentationBul.gf b/src/bulgarian/DocumentationBul.gf
index 59affb45..8cb80231 100644
--- a/src/bulgarian/DocumentationBul.gf
+++ b/src/bulgarian/DocumentationBul.gf
@@ -1,6 +1,6 @@
 --# -path=.:../abstract:../common
 concrete DocumentationBul of Documentation = CatBul ** open 
-  ResBul, Prelude,
+  ResBul, Prelude, ParamX
   HTML in {
 flags coding=utf8 ;