diff --git a/os/hal/ports/STM32F4xx/hal_lld.h b/os/hal/ports/STM32F4xx/hal_lld.h
index 4bbf9f16b..c7f9ed864 100644
--- a/os/hal/ports/STM32F4xx/hal_lld.h
+++ b/os/hal/ports/STM32F4xx/hal_lld.h
@@ -58,17 +58,22 @@
 #if defined(STM32F429_439xx) || defined(__DOXYGEN__)
 #define PLATFORM_NAME           "STM32F429/F439 High Performance with DSP and FPU"
 #define STM32F4XX
-#elif defined(STM32F427_437xx) || defined(__DOXYGEN__)
+
+#elif defined(STM32F427_437xx)
 #define PLATFORM_NAME           "STM32F427/F437 High Performance with DSP and FPU"
 #define STM32F4XX
-#elif defined(STM32F40_41xxx) || defined(__DOXYGEN__)
+
+#elif defined(STM32F40_41xxx)
 #define PLATFORM_NAME           "STM32F407/F417 High Performance with DSP and FPU"
 #define STM32F4XX
-#elif defined(STM32F401xx) || defined(__DOXYGEN__)
+
+#elif defined(STM32F401xx)
 #define PLATFORM_NAME           "STM32F401 High Performance with DSP and FPU"
 #define STM32F4XX
-#elif defined(STM32F2XX) || defined(__DOXYGEN__)
+
+#elif defined(STM32F2XX)
 #define PLATFORM_NAME           "STM32F2xx High Performance"
+
 #else
 #error "STM32F2xx/F4xx device not specified"
 #endif
diff --git a/os/hal/ports/STM32F4xx/stm32_registry.h b/os/hal/ports/STM32F4xx/stm32_registry.h
index d1d476627..8e15527f9 100644
--- a/os/hal/ports/STM32F4xx/stm32_registry.h
+++ b/os/hal/ports/STM32F4xx/stm32_registry.h
@@ -30,7 +30,7 @@
 /*===========================================================================*/
 
 /**
- * @name    STM32F30x capabilities
+ * @name    STM32F4xx capabilities
  * @{
  */
 /* ADC attributes.*/