diff --git a/nuttx-configs/sim/nsh/defconfig b/nuttx-configs/sim/nsh/defconfig
index 6b68a63fdf..43ee60f1e4 100644
--- a/nuttx-configs/sim/nsh/defconfig
+++ b/nuttx-configs/sim/nsh/defconfig
@@ -127,7 +127,7 @@ CONFIG_START_YEAR=2016
 CONFIG_START_MONTH=11
 CONFIG_START_DAY=30
 CONFIG_DEV_CONSOLE=y
-# CONFIG_MUTEX_TYPES is not set
+# CONFIG_PTHREAD_MUTEX_TYPES is not set
 # CONFIG_PRIORITY_INHERITANCE is not set
 # CONFIG_FDCLONE_DISABLE is not set
 # CONFIG_FDCLONE_STDIO is not set