diff --git a/arch/mips/src/mips32/Kconfig b/arch/mips/src/mips32/Kconfig
index 846458c282..c6673654eb 100644
--- a/arch/mips/src/mips32/Kconfig
+++ b/arch/mips/src/mips32/Kconfig
@@ -60,9 +60,10 @@ config MIPS32_TOOLCHAIN_MICROCHIP_XC32_LICENSED
 	default n
 	depends on MIPS32_TOOLCHAIN_MICROCHIPL_XC32 || MIPS32_TOOLCHAIN_MICROCHIPW_XC32
 	---help---
-		If you are using the unlicensed, free XC32 compiler then select this
-		option so that the build system will not attend to enable
-		optimization.
+		The free, unlicensed XC32 compiler will not support either
+		optimization or the microMIPs ISA.  If you are using a licensed,
+		XC32 compiler then select this option so that the build system will
+		suppport higher levels of optimization.
 
 config MIPS32_FRAMEPOINTER
 	bool "ABI Uses Frame Pointer"