diff --git a/src/about.htm b/src/about.htm
index a540115..930c65f 100644
--- a/src/about.htm
+++ b/src/about.htm
@@ -65,7 +65,8 @@
     I do not make use of “social media” websites,
       though I may (or may not) respond to queries on websites that I am a
         member of,
-      and I do host my <a href="https://mastodon.mikegerwitz.com/">own Mastodon instance</a>.
+      and I do host my <a href="https://pleroma.mikegerwitz.com/">own Pleroma instance</a>,
+        which is compatible with Mastodon.
   </p>
   <p>
     (Note: This website itself is free/libre&mdash;the source code is
diff --git a/src/header.tpl.htm b/src/header.tpl.htm
index e88911e..c61456a 100644
--- a/src/header.tpl.htm
+++ b/src/header.tpl.htm
@@ -24,7 +24,7 @@
           <li><a href="/talks">Talks</a></li>
           <li><a href="/projects">Projects</a></li>
           <li><a href="/papers">Papers</a></li>
-          <li><a href="//mastodon.mikegerwitz.com/" title="My Mastodon Instance">Social</a></li>
+          <li><a href="//pleroma.mikegerwitz.com/" title="My Mastodon Instance">Social</a></li>
         </ul>
       </nav>
     </header>