diff --git a/os/hal/dox/main.dox b/os/hal/dox/main.dox
index 991fb78e4..187e00b25 100644
--- a/os/hal/dox/main.dox
+++ b/os/hal/dox/main.dox
@@ -35,17 +35,17 @@
  * - High Level Device Driver (<b>HLD</b>). This layer contains the definitions
  *   of the driver's APIs and the platform independent part of the driver.<br>
  *   An HLD is composed by two files:
- *   - @p @<driver@>.c, the HLD implementation file. This file must be
+ *   - @p hal_@<driver@>.c, the HLD implementation file. This file must be
  *     included in the Makefile in order to use the driver.
- *   - @p @<driver@>.h, the HLD header file. This file is implicitly
+ *   - @p hal_@<driver@>.h, the HLD header file. This file is implicitly
  *     included by the HAL header file @p hal.h.
  *   .
  * - Low Level Device Driver (<b>LLD</b>). This layer contains the platform
  *   dependent part of the driver.<br>
  *   A LLD is composed by two files:
- *   - @p @<driver@>_lld.c, the LLD implementation file. This file must be
+ *   - @p hal_@<driver@>_lld.c, the LLD implementation file. This file must be
  *     included in the Makefile in order to use the driver.
- *   - @p @<driver@>_lld.h, the LLD header file. This file is implicitly
+ *   - @p hal_@<driver@>_lld.h, the LLD header file. This file is implicitly
  *     included by the HLD header file.
  *   .
  * .