--- a/website/src/tutorial.html.luan	Fri Apr 08 09:19:25 2022 -0600
+++ b/website/src/tutorial.html.luan	Tue Apr 19 13:26:33 2022 -0600
@@ -95,7 +95,7 @@
 
 <p>The Luan webserver expects the file to return a function and calls it to generate the page.  Code of the form <b>%&gt;...&lt;%</b> writes its output to <b>Io.stdout</b> which by default is the standard output of the command line.  So in the returned function one usually starts by setting <b>Io.stdout</b> to a <code>text_writer</code> which writes its output to the HTTP response (to the web browser).</p>
 
-<p>You can find this example and others in the <a href="examples/">examples directory</a>.  Take a look at <a href="examples/hi2.luan">hi2.luan</a> next.  Remember to remove the <b>.luan</b> from the URL to run the code.</p>
+<p>You can find this example and others in the <a href="examples/">examples directory</a>.  Take a look at <a href="examples/hi2.html.luan">hi2.html.luan</a> next.  Remember to remove the <b>.luan</b> from the URL to run the code.</p>
 
 <p>So now you have built your website and you want to publish it to the web.  If you have your own domain, create a CNAME record for it pointing to <b>s1.luan.software</b>.  If you don't have a domain, just use a domain like <b>bob.s1.luan.software</b> (anything of the form <b>*.s1.luan.software</b>).  Assuming your directory is <b>src</b> and you will use the password <b>secret</b>, do the following from the command line: