diff --git a/os/ports/GCC/ARMCMx/port.dox b/os/ports/GCC/ARMCMx/port.dox
index adfd49981..9fff65dd0 100644
--- a/os/ports/GCC/ARMCMx/port.dox
+++ b/os/ports/GCC/ARMCMx/port.dox
@@ -109,13 +109,16 @@
  * - When using an STM32 one of the following macros must be defined on the
  *   compiler command line or in a file named <tt>board.h</tt>:
  *   - @p STM32F10X_LD
+ *   - @p STM32F10X_LD_VL
  *   - @p STM32F10X_MD
+ *   - @p STM32F10X_MD_VL
  *   - @p STM32F10X_HD
+ *   - @p STM32F10X_XL
  *   - @p STM32F10X_CL
  *   .
  *   This is required in order to include a vectors table with the correct
  *   length for the STM32 model, see the file
- *   <tt>./os/ports/GCC/ARMCMx/STM32F10x/vectors.s</tt>.
+ *   <tt>./os/ports/GCC/ARMCMx/STM32/vectors.c</tt>.
  * - The Cortex-Mx port is perfectly generic, support for more devices can be
  *   easily added by adding a subdirectory under <tt>./os/ports/GCC/ARMCMx</tt>
  *   and giving it the name of the new device, then copy the files from another