diff --git a/boards/mbed_lpc1768/dist/flash.sh b/boards/mbed_lpc1768/dist/flash.sh
index 4ff2af9845..822fb21d31 100755
--- a/boards/mbed_lpc1768/dist/flash.sh
+++ b/boards/mbed_lpc1768/dist/flash.sh
@@ -58,7 +58,7 @@ fi
 rm -f ${MOUNT}/*.bin
 # copy new binary to device
 cp ${BINFILE} ${MOUNT}
-# make sure hexfile was written
+# make sure binary was written
 sync
 
 # unmount the device if we have manually mounted it before