diff --git a/INSTALL.md b/INSTALL.md
index 39004542..d0f56698 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -57,8 +57,8 @@ Finally, run "make install" (typically as root) to install the software:
sudo make install
-Ubuntu Notes
-------------
+Ubuntu and Debian Notes
+-----------------------
You should install the following packages:
diff --git a/doc/1-intro.html b/doc/1-intro.html
index 5619bad9..8b8cdbd9 100644
--- a/doc/1-intro.html
+++ b/doc/1-intro.html
@@ -2,7 +2,7 @@
-
+
HTMLDOC Users Manual