Formatting error

diff --git a/doc/html/tutorial/lesson15.html b/doc/html/tutorial/lesson15.html
index ca97a581ee1f3278d7139014fa6b8462f0bdb56f..caed1a9d11378c7f9f696b7a839c2060866ac97d 100644 (file)
--- a/doc/html/tutorial/lesson15.html
+++ b/doc/html/tutorial/lesson15.html
@@ -93,7 +93,7 @@
     <p>
     Currently, only a single buffer is used to store the strings supplied to
     calls to <code>printf</code> before flushing them.  This means that while
-    the buffer is being flushed, any calls to <code>printf</printf> will fail.
+    the buffer is being flushed, any calls to <code>printf</code> will fail.
     In the future, we plan to implement a doubled buffer approach so that
     strings can continue to be buffered at the same time they are being printed.
     </p>