diff --git a/labs/debugging-setup/debugging-setup.tex b/labs/debugging-setup/debugging-setup.tex
index eef0c79cfa..b470d3d394 100644
--- a/labs/debugging-setup/debugging-setup.tex
+++ b/labs/debugging-setup/debugging-setup.tex
@@ -29,10 +29,11 @@ \section{Building the image}
 $ make
 \end{bashinput}
 
-This will take a few minutes. At the end of the build, a images directory will
-contain the images that can be used on the board. During this course, we will
-use a kernel located on a sdcard and a rootfs via NFS. This will let us transfer
-data freely from and to the target board.
+This will take a few minutes. At the end of the build,
+the \code{output/images/} directory will contain the images that can be
+used on the board. During this course, we will use a kernel located on a
+sdcard and a rootfs via NFS. This will let us transfer data freely from and
+to the target board.
 
 The rootfs should be extracted at \code{/home/$USER/debugging-labs/nfsroot}
 using this command: