Website markup cleanup.

2 files changed, 7 insertions, 8 deletions

diff --git a/www/reliability.html b/www/reliability.html
index 9a9438f8..420af53b 100644
--- a/www/reliability.html
+++ b/www/reliability.html
@@ -88,20 +88,19 @@ often. This makes it actively difficult for random code changes to
 break our device drivers without somebody noticing.</p>
 
 <p>Which isn't to say those drivers can't be wrong, just that the ways
-they can be wrong are constrained to be through either
+they can be wrong are constrained to be through either:</p>
+
 <ol>
 <li> a protocol-spec-level misunderstanding of what the driver is
 supposed to be doing, or </li>
 <li> an implementation bug somewhere in the program's
 state space that is obscure and difficult to reach.  </li>
 </ol>
-</p>
 
-<p>Coverity only
-turned up two driver bugs - static buffer overruns in methods for
-changing the device's reporting protocol and line speed that escaped
-notice because they can't be checked in our test harnesses but only on
-a live device.</p>
+<p>Our first Coverity run only turned up two driver bugs - static
+buffer overruns in methods for changing the device's reporting
+protocol and line speed that escaped notice because they can't be
+checked in our test harnesses but only on a live device.</p>
 
 <p>This is also why Coverity didn't find defects on commonly-used code
 paths. If there'd been any, the regression tests probably would have
diff --git a/www/upstream-bugs.html b/www/upstream-bugs.html
index efae632a..2f041d69 100644
--- a/www/upstream-bugs.html
+++ b/www/upstream-bugs.html
@@ -96,7 +96,7 @@ maintainer, we've tried to kick these upstream.</p>
 
 <h1>Open User-Visible Problems</h1>
 
-<h2 href="osx-pl2303">Unknown osx-pl2303 driver issues on Mac OS X</h2> 
+<h2 id="osx-pl2303">Unknown osx-pl2303 driver issues on Mac OS X</h2>
 
 <p>The osx-pl2303 driver appears not to work, at least under 10.9.
   Specifically, the combination of gpsd, OS X, osx-pl2303, and a