diff --git a/web/demos b/web/demos
index 899944eb6..72455844b 100644
--- a/web/demos
+++ b/web/demos
@@ -21,11 +21,11 @@ click on the name of the output file:
 
 5.  From LaTeX to markdown:
 
-@   pandoc -s example4.tex -o example5.txt
+@   pandoc -s example4.tex -o example5.text
 
 6.  reStructuredText:
 
-@   pandoc -s -w rst README -o example6.txt
+@   pandoc -s -w rst README -o example6.text
 
 7.  Rich text format (RTF):
 
@@ -49,7 +49,7 @@ click on the name of the output file:
 
 12. Converting a web page to markdown:
 
-@   html2markdown http://www.gnu.org/software/make/ -o example12.txt
+@   html2markdown http://www.gnu.org/software/make/ -o example12.text
 
 13. From markdown to PDF: