diff --git a/mps/design/lib.txt b/mps/design/lib.txt
index fa3973f0df8..962b6328cb2 100644
--- a/mps/design/lib.txt
+++ b/mps/design/lib.txt
@@ -54,16 +54,6 @@ _`.overview.hosted.indirect`: The core MPS does not make any direct
 use of hosted ISO C library facilities. Instead, it indirects through
 the MPS Library Interface, impl.h.mpslib.
 
-_`.overview.free`: The core MPS can make direct use of freestanding
-ISO C library facilities and does not need to include any of the
-header files ``<limits.h>``, ``<stdarg.h>``, and ``<stddef.h>``
-directly.
-
-_`.overview.complete`: The MPS Library Interface can be considered as
-the complete "interface to ISO" (in that it provides direct access to
-facilities that we get in a freestanding environment and equivalents
-of any functionality we require from the hosted environment).
-
 _`.overview.provision.client`: In a freestanding environment the
 client is expected to provide functions meeting this interface to the
 MPS.
@@ -72,19 +62,6 @@ _`.overview.provision.hosted`: In a hosted environment,
 impl.c.mpsliban may be used. It just maps impl.h.mpslib directly onto
 the ISO C library equivalents.
 
-[missing diagram]
-
-
-Outside the interface
-.....................
-
-We provide impl.c.mpsliban to the client, for two reasons:
-
-#. the client can use it to connect the MPS to the ISO C library if it
-   exists;
-
-#. as an example implementation of the MPS Library Interface.
-
 
 Implementation
 --------------
@@ -97,8 +74,7 @@ which parallel those parts of the non-freestanding ISO headers which
 are used by the MPS.
 
 _`.impl.include`: The header file also includes the freestanding
-headers ``<limits.h>``, ``<stdarg.h>``, and ``<stddef.h>`` (and not
-``<float.h>``, though perhaps it should).
+header ``<stddef.h>``.
 
 
 Document History
diff --git a/mps/design/locus.txt b/mps/design/locus.txt
index de56574baad..4777857c9d7 100644
--- a/mps/design/locus.txt
+++ b/mps/design/locus.txt
@@ -1,7 +1,7 @@
 .. mode: -*- rst -*-
 
-MPS Configuration
-=================
+Locus manager
+=============
 
 :Tag: design.mps.locus
 :Author: Gavin Matthews
diff --git a/mps/design/prot.txt b/mps/design/prot.txt
index 0d30017fede..cc656cdb58f 100644
--- a/mps/design/prot.txt
+++ b/mps/design/prot.txt
@@ -1,7 +1,7 @@
 .. mode: -*- rst -*-
 
-The protection module
-=====================
+Memory protection
+=================
 
 :Tag: design.mps.prot
 :Author: David Jones
@@ -15,7 +15,7 @@ The protection module
 Introduction
 ------------
 
-_`.intro`: This is the generic design of the Protection Module. The
+_`.intro`: This is the generic design of the protection module. The
 protection module provides protection services to other parts of the
 MPS. It is expected that different operating systems will have
 different implementations of this module.
diff --git a/mps/design/thread-manager.txt b/mps/design/thread-manager.txt
index f3a73b6106a..b358d6aa521 100644
--- a/mps/design/thread-manager.txt
+++ b/mps/design/thread-manager.txt
@@ -1,6 +1,6 @@
 .. mode: -*- rst -*-
 
-Thread Manager
+Thread manager
 ==============
 
 :Tag: design.mps.thread-manager
@@ -47,7 +47,7 @@ context. Thread "registration" adds or removes the current thread to
 the ``Thread`` list in the arena.
 
 
-Detailed Design
+Detailed design
 ---------------
 
 Stack scan