diff --git a/docs/DriverInternals.html b/docs/DriverInternals.html
index 4f5f0ae..380de99 100644
--- a/docs/DriverInternals.html
+++ b/docs/DriverInternals.html
@@ -405,7 +405,7 @@
         to each compilation sequence. For example, the list of used
         temporary files (which must be removed once compilation is
         finished) and result files (which should be removed if
-        compilation files).</p>
+        compilation fails).</p>
 
       <h4 id="int_unified_parsing">Unified Parsing &amp; Pipelining</h4>