diff --git a/targets/TARGET_STM/TARGET_STM32F1/TARGET_BLUEPILL_F103C8/device/hal_tick.h b/targets/TARGET_STM/TARGET_STM32F1/TARGET_BLUEPILL_F103C8/device/hal_tick.h
index f86e1672c6..5872d57f7a 100644
--- a/targets/TARGET_STM/TARGET_STM32F1/TARGET_BLUEPILL_F103C8/device/hal_tick.h
+++ b/targets/TARGET_STM/TARGET_STM32F1/TARGET_BLUEPILL_F103C8/device/hal_tick.h
@@ -46,8 +46,8 @@
 #define TIM_MST_IRQ  TIM4_IRQn
 #define TIM_MST_RCC  __HAL_RCC_TIM4_CLK_ENABLE()
 
-#define TIM_MST_RESET_ON   __HAL_RCC__TIM4_FORCE_RESET()
-#define TIM_MST_RESET_OFF  __HAL_RCC__TIM4_RELEASE_RESET()
+#define TIM_MST_RESET_ON   __HAL_RCC_TIM4_FORCE_RESET()
+#define TIM_MST_RESET_OFF  __HAL_RCC_TIM4_RELEASE_RESET()
 
 #define TIM_MST_16BIT  1 // 1=16-bit timer, 0=32-bit timer