diff --git a/static/build.html b/static/build.html
index 02bc7bbe..68a99308 100644
--- a/static/build.html
+++ b/static/build.html
@@ -52,7 +52,7 @@ cd grapheneos-pie
 repo init -u https://github.com/GrapheneOS/platform_manifest.git -b pie
 repo sync -j32</pre>
 
-            </p>If your network is unreliable and <code>repo sync</code> fails, you can run the
+            <p>If your network is unreliable and <code>repo sync</code> fails, you can run the
             <code>repo sync</code> command again as many times as needed for it to fully
             succeed.</p>
 
@@ -179,7 +179,7 @@ git am ../chromium_patches/*.patch</pre>
             <p>For a development build, you may want to replace <code>user</code> with
             <code>userdebug</code> in order to have better debugging support. Production builds
             should be <code>user</code> builds as they are significantly more secure and don't
-            make additional performance sacrifices to improve debugging.</pre>
+            make additional performance sacrifices to improve debugging.</p>
 
             <h2>Reproducible builds</h2>