diff --git a/platform/mbed_rtc_time.h b/platform/mbed_rtc_time.h
index 604fbe67b0..4ec9c328d2 100644
--- a/platform/mbed_rtc_time.h
+++ b/platform/mbed_rtc_time.h
@@ -31,7 +31,7 @@ extern "C" {
  *
  * Provides mechanisms to set and read the current time, based
  * on the microcontroller Real-Time Clock (RTC), plus some
- * standard C manipulation and formating functions.
+ * standard C manipulation and formatting functions.
  *
  * Example:
  * @code