diff --git a/labs/debugging-application-crash/debugging-application-crash.tex b/labs/debugging-application-crash/debugging-application-crash.tex
index ce1b731c4f..228ced295e 100644
--- a/labs/debugging-application-crash/debugging-application-crash.tex
+++ b/labs/debugging-application-crash/debugging-application-crash.tex
@@ -214,7 +214,7 @@ \section{(Bonus) Configuring an IDE for debugging}
 
 You can now start the debugging session (hit the "Run and Debug"
 tab on the left column, then "Debug linked list" in the list on top left, or
-directly hit "F" tio).
+directly hit "F5" to start the debug session).
 VSCode will start our cross-gdb and connect it to the remote gdbserver, and you
 will be able to do everything we have done in the console so far:
 \begin{itemize}