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