diff --git a/labs/debugging-kernel-debugging/debugging-kernel-debugging.tex b/labs/debugging-kernel-debugging/debugging-kernel-debugging.tex
index b80dc46f7b..e0ff894e3f 100644
--- a/labs/debugging-kernel-debugging/debugging-kernel-debugging.tex
+++ b/labs/debugging-kernel-debugging/debugging-kernel-debugging.tex
@@ -166,6 +166,7 @@ \section{KGDB debugging}
 the console simultaneously, compile and run kdmx on your development host:
 
 \begin{bashinput}
+$ cd /home/$USER/debugging-labs
 $ git clone https://git.kernel.org/pub/scm/utils/kernel/kgdb/agent-proxy.git
 $ cd agent-proxy/kdmx
 $ make