diff --git a/manual/manual/cmds/instrumented-runtime.etex b/manual/manual/cmds/instrumented-runtime.etex
index 9ae6d7565..6826f7c7f 100644
--- a/manual/manual/cmds/instrumented-runtime.etex
+++ b/manual/manual/cmds/instrumented-runtime.etex
@@ -18,7 +18,7 @@ can generate {\em trace files} that can then be read
 and analyzed by users in order to understand specific runtime behaviors.
 
 The generated trace files are stored using the {\em Common Trace Format}, which
-is general purpose binary tracing format.
+is a general purpose binary tracing format.
 A complete trace consists of:
 \begin{itemize}
 \item a {\em metadata file}, part of the OCaml distribution