diff --git a/docs/website/download.html b/docs/website/download.html
index 46f601def3..34b06bff71 100644
--- a/docs/website/download.html
+++ b/docs/website/download.html
@@ -137,9 +137,9 @@
 		tree at any time so it is in sync with the latest and greatest by entering your
 		buildroot directory and running the command:
 
-		<pre>
-		  git pull
-		</pre>
+<pre>
+git pull
+</pre>
 
 		Because you've only been granted anonymous access to the tree, you won't be
 		able to push your changes to the repo. Changes can instead be submitted for