Refresh HTML pages

09.html

@@ -10014,7 +10014,7 @@ <h2 class="Box-title">
 <pre><code>./a.out dragon firefly jupiter
 </code></pre>
 <ul>
-<li>Using the pointer arithmetics and the dereference operator <code>*</code> only , given
+<li>Using the pointer arithmetics and the dereference operator <code>*</code> only, given
 the exact command line above, print 'g' from the first argument, 'r' from the
 2nd, and 't' from the last one.</li>
 <li>That is, you must not use brackets <code>[]</code> at all.</li>