diff --git a/OPTYap/opt.init.c b/OPTYap/opt.init.c
index 3e579399b..80d9dd5b2 100644
--- a/OPTYap/opt.init.c
+++ b/OPTYap/opt.init.c
@@ -231,8 +231,9 @@ void make_root_frames(void) {
 
 #ifdef TABLING
   /* root dependency frame */
-  if (!GLOBAL_root_dep_fr)
+  if (!GLOBAL_root_dep_fr) {
     new_dependency_frame(GLOBAL_root_dep_fr, FALSE, NULL, NULL, NULL, NULL, NULL);
+  }
 #endif /* TABLING */
 }
 
diff --git a/packages/cplint/doc/Makefile b/packages/cplint/doc/Makefile
new file mode 100644
index 000000000..786d90969
--- /dev/null
+++ b/packages/cplint/doc/Makefile
@@ -0,0 +1,8 @@
+
+manual.pdf: manual.tex manual.bbl
+	pdflatex manual
+	pdflatex manual
+
+manual.html: manual.tex manual.bbl
+	htlatex manual
+