diff --git a/bin/htmlify_docs.pike b/bin/htmlify_docs.pike
index e99c84c5e3689f70143cde1192a234f274912a9e..767669f2f6caf53c9e5bdef7a604559d13c299c4 100644
--- a/bin/htmlify_docs.pike
+++ b/bin/htmlify_docs.pike
@@ -158,8 +158,8 @@ string magic(string s, int quote)
 /*
  * Magic to convert SYNTAX sections
  */
-inherit "/precompiled/regexp" : lastident;
-inherit "/precompiled/regexp" : megamagic;
+inherit Regexp : lastident;
+inherit Regexp : megamagic;
 
 string syntax_magic(string s)
 {
@@ -250,7 +250,7 @@ string short(string s)
 }
 
 
-inherit "/precompiled/regexp":is_example;
+inherit Regexp:is_example;
 
 list(string) indexes_done=(<>);
 list(string) pages_done=(<>);