diff --git a/docs/LangRef.html b/docs/LangRef.html
index cd2d9a4..ab0d66d 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -3246,7 +3246,7 @@
 expected that the marker will use exported symbols to transmit the PC of the marker.
 The marker makes no guarantees that it will remain with any specific instruction 
 after optimizations.  It is possible that the presence of a marker will inhibit 
-optimizations.  The intended use is to be inserted after optmizations to allow
+optimizations.  The intended use is to be inserted after optimizations to allow
 correlations of simulation runs.
 </p>