diff --git a/docs/source/debugger/execution.rst b/docs/source/debugger/execution.rst
index cc4fc280cc1..c6547c37ba2 100644
--- a/docs/source/debugger/execution.rst
+++ b/docs/source/debugger/execution.rst
@@ -301,7 +301,7 @@ specified in milliseconds.
 
 Example:
 
-``gtime #10000```
+``gtime #10000``
     Resume execution for ten seconds of emulated time.
 
 Back to :ref:`debugger-execution-list`