diff --git a/toolchain/gcc/Config.in b/toolchain/gcc/Config.in
index abbfe733e..3483e00b2 100644
--- a/toolchain/gcc/Config.in
+++ b/toolchain/gcc/Config.in
@@ -71,7 +71,7 @@ config GCC_USE_GRAPHITE
 
 config GCC_USE_SYSTEM_PPL_CLOOG
 	bool
-	prompt "Use the system versions of PPL and CLooG
+	prompt "Use the system versions of PPL and CLooG"
 	depends GCC_USE_GRAPHITE
 	default n