diff --git a/src/bulgarian/DocumentationBul.gf b/src/bulgarian/DocumentationBul.gf
index 76630cb5..9f3c82c1 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,
+  ResBul, Prelude,
   HTML in {
 flags coding=utf8 ;
 
diff --git a/src/english/DocumentationEng.gf b/src/english/DocumentationEng.gf
index 75066bb5..c4c66eee 100644
--- a/src/english/DocumentationEng.gf
+++ b/src/english/DocumentationEng.gf
@@ -1,6 +1,6 @@
 --# -path=.:../abstract:../common
 concrete DocumentationEng of Documentation = CatEng ** open
-  ResEng,
+  ResEng, Prelude,
   HTML in {
 
 lincat