diff --git a/os/hal/ports/STM32/LLD/TIMv1/stm32_tim1_9_10_11.inc b/os/hal/ports/STM32/LLD/TIMv1/stm32_tim1_9_10_11.inc
index bebcf542e..f085c9133 100644
--- a/os/hal/ports/STM32/LLD/TIMv1/stm32_tim1_9_10_11.inc
+++ b/os/hal/ports/STM32/LLD/TIMv1/stm32_tim1_9_10_11.inc
@@ -188,7 +188,7 @@ static inline void tim1_tim9_tim10_tim11_irq_deinit(void) {
 /* Driver interrupt handlers.                                                */
 /*===========================================================================*/
 
-#if defined(STM32_TIM1_IS_USED) || defined(STM32_TIM19_IS_USED)  ||         \
+#if defined(STM32_TIM1_IS_USED) || defined(STM32_TIM9_IS_USED)  ||          \
     defined(__DOXYGEN__)
 /**
  * @brief   TIM1-BRK, TIM9 interrupt handler.
diff --git a/readme.txt b/readme.txt
index ba283828f..671b7e495 100644
--- a/readme.txt
+++ b/readme.txt
@@ -76,6 +76,7 @@
 *** 20.3.3 ***
 - NEW: RT, NIL: Renamed _THREADS_QUEUE_DECL to THREADS_QUEUE_DECL for
        consistency.
+- FIX: Fixed wrong check on STM32 TIM9 timer (bug #1143).
 - FIX: Fixed FAT time problem in RTC driver (bug #1142).
 - FIX: Fixed Heap allocation of aligned FIFO objects in chFactory (bug #1141).
 - FIX: Fixed chsnprintf() sign mode/filler mode conflict (bug #1140).