diff --git a/docs/devinfo.html b/docs/devinfo.html
index 9fcd8cf..4d4730b 100644
--- a/docs/devinfo.html
+++ b/docs/devinfo.html
@@ -83,7 +83,7 @@
 Here's the GNU indent command which will best approximate my preferred style:
 </p>
 <pre>
-	indent -br -i3 -npcs infile.c -o outfile.c
+	indent -br -i3 -npcs --no-tabs infile.c -o outfile.c
 </pre>
 
 
@@ -145,7 +145,7 @@
 </p>
 
 <p>
-Update the docs/news.html file and docs/contents.html files.
+Update the docs/news.html file and docs/download.html files.
 </p>
 
 <p>