diff --git a/makefiles/vars.inc.mk b/makefiles/vars.inc.mk
index 204db66733..726e45a2ac 100644
--- a/makefiles/vars.inc.mk
+++ b/makefiles/vars.inc.mk
@@ -76,7 +76,7 @@ export FLASH_ADDR            # Define an offset to flash code into ROM memory.
 # TERMFLAGS                  # Additional parameters to supply to TERMPROG.
 export PORT                  # The port to connect the TERMPROG to.
 export ELFFILE               # The unstripped result of the compilation.
-export HEXFILE               # The stripped result of the compilation.
+export HEXFILE               # The 'intel hex' stripped result of the compilation.
 # FLASHFILE                  # The output file used for flashing (transition phase: only if defined)
 # DEBUGGER                   # The command to call on "make debug", usually a script starting the GDB front-end.
 # DEBUGGER_FLAGS             # The parameters to supply to DEBUGGER.