diff --git a/configs/dk-tm4c129x/README.txt b/configs/dk-tm4c129x/README.txt
index 32e48d6e7ea..138e69cd3e8 100644
--- a/configs/dk-tm4c129x/README.txt
+++ b/configs/dk-tm4c129x/README.txt
@@ -449,7 +449,7 @@ f Application Configuration -> Network Utilities
 Timers
 ======
 
-  Tiva timers may be enbled in 32-bit periodic mode using these settings.
+  Tiva timers may be enabled in 32-bit periodic mode using these settings.
 
   This settings enables the "upper half" timer driver: