diff --git a/platform/mbed_rtc_time.h b/platform/mbed_rtc_time.h
index 835fff7956..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
@@ -84,7 +84,7 @@ void set_time(time_t t);
  *
  * @param read_rtc pointer to function which returns current UNIX timestamp
  * @param write_rtc pointer to function which sets current UNIX timestamp, can be NULL
- * @param init_rtc pointer to funtion which initializes RTC, can be NULL
+ * @param init_rtc pointer to function which initializes RTC, can be NULL
  * @param isenabled_rtc pointer to function which returns if the RTC is enabled, can be NULL
  */
 void attach_rtc(time_t (*read_rtc)(void), void (*write_rtc)(time_t), void (*init_rtc)(void), int (*isenabled_rtc)(void));