diff --git a/manual/manual.html b/manual/manual.html
index e2f23bd5e..b1d39b16d 100644
--- a/manual/manual.html
+++ b/manual/manual.html
@@ -12,7 +12,6 @@
 
 <body>
 
-<h1 id="contents">Contents</h1>
 <h1 id="introduction">Introduction</h1>
 <p><em>The fediverse</em> is a set of federated servers, typically using
 a communication protocol called <a
diff --git a/manual/manual.md b/manual/manual.md
index 1531d9be8..48eb700c1 100644
--- a/manual/manual.md
+++ b/manual/manual.md
@@ -1,4 +1,3 @@
-# Contents
 # Introduction
 *The fediverse* is a set of federated servers, typically using a communication protocol called [ActivityPub](https://www.w3.org/TR/activitypub) which was devised by the [social working group](https://www.w3.org/wiki/Socialwg) within the World Wide Web Consortium (W3C). At present it is mostly used for [microblogging](https://en.wikipedia.org/wiki/Microblogging), although ActivityPub is sufficiently general that it can also be used for a variety of other purposes.
 
