diff --git a/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex b/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex
index b509fd59bc..5d25840141 100644
--- a/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex
+++ b/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex
@@ -38,10 +38,7 @@ \section{Filesystem support in the kernel}
 
 \section{Add partitions to the SD card}
 
-Plug the SD card in your workstation. If partitions are mounted,
-unmount them:
-
-\bashcmd{$ sudo umount /dev/mmcblk0p*}
+Plug the SD card in your workstation.
 
 Using \code{cfdisk /dev/mmcblk0}, add two partitions, starting from the beginning
 of the remaining space, with the following properties:
diff --git a/labs/sysdev-block-filesystems-beagleplay/sysdev-block-filesystems-beagleplay.tex b/labs/sysdev-block-filesystems-beagleplay/sysdev-block-filesystems-beagleplay.tex
index 6dd5676f58..10bfda0328 100644
--- a/labs/sysdev-block-filesystems-beagleplay/sysdev-block-filesystems-beagleplay.tex
+++ b/labs/sysdev-block-filesystems-beagleplay/sysdev-block-filesystems-beagleplay.tex
@@ -38,10 +38,7 @@ \section{Filesystem support in the kernel}
 
 \section{Add partitions to the SD card}
 
-Plug the SD card in your workstation. If partitions are mounted,
-unmount them:
-
-\bashcmd{$ sudo umount /dev/mmcblk0p*}
+Plug the SD card in your workstation.
 
 Using \code{fdisk /dev/mmcblk0}, add two partitions, starting from the beginning
 of the remaining space, with the following properties:
diff --git a/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex b/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex
index 1bfc6e447f..9c7707d026 100644
--- a/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex
+++ b/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex
@@ -38,10 +38,7 @@ \section{Filesystem support in the kernel}
 
 \section{Add partitions to the SD card}
 
-Plug the SD card in your workstation. If partitions are mounted,
-unmount them:
-
-\bashcmd{$ sudo umount /dev/mmcblk0p*}
+Plug the SD card in your workstation.
 
 Using \code{parted /dev/mmcblk0}, add two partitions, starting from the beginning
 of the remaining space, with the following properties:
diff --git a/slides/sysdev-block-filesystems/sysdev-block-filesystems.tex b/slides/sysdev-block-filesystems/sysdev-block-filesystems.tex
index 7156c6975b..ecd162bae6 100644
--- a/slides/sysdev-block-filesystems/sysdev-block-filesystems.tex
+++ b/slides/sysdev-block-filesystems/sysdev-block-filesystems.tex
@@ -474,7 +474,9 @@ \subsection{Using block filesystems}
   \begin{itemize}
   \item Creating further partitions on your SD card
   \item Booting a system with a mix of filesystems: {\em SquashFS} for
-    the root filesystem, {\em ext4} for configuration and user data, and {\em
-      tmpfs} for temporary system files.
+    the root filesystem, {\em ext4} for data, and {\em
+    tmpfs} for temporary system files.
+  \item Loading everything from the SD card, including
+    the kernel and device tree.
   \end{itemize}
 }