diff --git a/labs/sysdev-tinysystem/sysdev-tinysystem.tex b/labs/sysdev-tinysystem/sysdev-tinysystem.tex
index 3b6568a602..fab40dcf97 100644
--- a/labs/sysdev-tinysystem/sysdev-tinysystem.tex
+++ b/labs/sysdev-tinysystem/sysdev-tinysystem.tex
@@ -82,6 +82,7 @@ \section{Booting the system}
 So add settings to the \code{bootargs} environment variable,
 {\bf in just 1 line}:
 
+{\small
 \if\defstring{\labboard}{beaglebone}
 \begin{ubootinput}
 => setenv bootargs ${bootargs} root=/dev/nfs ip=192.168.0.100:::::usb0
@@ -101,6 +102,7 @@ \section{Booting the system}
 \end{ubootinput}
 \fi
 \fi
+}
 
 Once again, replace \code{<user>} by your actual user name.