--- doc/build/debian10_install.frag	2024/08/06 03:10:01	1.3
+++ doc/build/debian10_install.frag	2024/08/06 12:25:06	1.4
@@ -84,7 +84,7 @@ There are a few steps that require comme
 <p>
 Finish installing your server, reboot it, and log in with the username you created during installation.
 </p>
-<h3>Enabling sudo>/h3>
+<h3>Enabling sudo</h3>
 <p>If you wish to allow the username created during installation to have administration privileges using sudo, use su to become root and execute the following, replacing <i>&lt;username&gt;<i> with that specific username:
 </p>
 <pre>