diff --git a/docs/badge/programming.rst b/docs/badge/programming.rst
index 759c6697e1f8a631d3a5ac9355d57372b82bc810..a58ce2cc1d746906be34375ef949527289ded0d7 100644
--- a/docs/badge/programming.rst
+++ b/docs/badge/programming.rst
@@ -112,8 +112,8 @@ You can also access the filesystem over the same Micropython serial port:
 	['main.py', 'st3m', '.sys-installed']
 	>>>
 
-	$ mpremote ls :flash/sys
-	ls :flash/sys
+	$ mpremote ls :/flash/sys
+	ls :/flash/sys
 	           0 main.py
 	           0 st3m
 	           0 .sys-installed