diff --git a/README.md b/README.md
index df58e355d0b..7ebf1bbd788 100644
--- a/README.md
+++ b/README.md
@@ -3,6 +3,8 @@
 
 [CProver Wiki](http://www.cprover.org/wiki)
 
+[CProver Documentation](http://cprover.diffblue.com)
+
 About
 =====
 
diff --git a/doc/architectural/cprover-architecture-overview.md b/doc/architectural/cprover-architecture-overview.md
index 457cba51e16..9fcab9934ef 100644
--- a/doc/architectural/cprover-architecture-overview.md
+++ b/doc/architectural/cprover-architecture-overview.md
@@ -3,7 +3,7 @@
 
 \author Martin Brain, Peter Schrammel
 
-# Overview of CPROVER Directories
+\section overview-dirs Overview of CPROVER Directories
 
 ## `src/`
 
@@ -90,7 +90,7 @@ The `–help` option gives instructions for use and the
 format of the description files.
 
 
-# General Information
+\section general-info General Information
 
 First off, read the \ref cbmc-user-manual "CBMC User Manual". It describes
 how to get, build and use CBMC. This document covers the
diff --git a/doc/satabs-user-manual.md b/doc/satabs-user-manual.md
index 763f52a7398..3410b138c62 100644
--- a/doc/satabs-user-manual.md
+++ b/doc/satabs-user-manual.md
@@ -1,3 +1,4 @@
+\ingroup module_hidden
 \page other_documentation Other Documentation
 
 \section satabs SATABS