diff --git a/sw/airborne/arch/stm32/subsystems/radio_control/ppm_arch.c b/sw/airborne/arch/stm32/subsystems/radio_control/ppm_arch.c
index 1f426b15b7..33ed19b5a9 100644
--- a/sw/airborne/arch/stm32/subsystems/radio_control/ppm_arch.c
+++ b/sw/airborne/arch/stm32/subsystems/radio_control/ppm_arch.c
@@ -50,7 +50,7 @@ static uint32_t timer_rollover_cnt;
 
 #if USE_PPM_TIM2
 
-#pragma message "Using PPM input on SERVO6 pin!"
+INFO("Using TIM2 for PPM input on PA_10 (SERVO6) pin.")
 
 #define PPM_RCC			&RCC_APB1ENR
 #define PPM_PERIPHERAL		RCC_APB1ENR_TIM2EN
@@ -65,7 +65,7 @@ static uint32_t timer_rollover_cnt;
 
 #elif USE_PPM_TIM1
 
-#pragma message "Using PPM input on UART1_RX pin!"
+INFO("Using TIM1 for PPM input on PA_01 (UART1_RX) pin.")
 
 #define PPM_RCC			&RCC_APB2ENR
 #define PPM_PERIPHERAL		RCC_APB2ENR_TIM1EN