diff --git a/configs/stm32f4discovery/README.txt b/configs/stm32f4discovery/README.txt
index 22ccfed1a14..d0d60c48ce0 100644
--- a/configs/stm32f4discovery/README.txt
+++ b/configs/stm32f4discovery/README.txt
@@ -2169,7 +2169,7 @@ Configuration Sub-directories
 
        CONFIG_HOST_WINDOWS=y                   : Builds under windows
        CONFIG_WINDOWS_CYGWIN=y                 : Using Cygwin and
-       CONFIG_ARMV7M_TOOLCHAIN_CODESOURCERYW=y : The native Windows CodeSourcery toolchain
+       CONFIG_ARMV7M_TOOLCHAIN_GNU_EABIW=y     : Generic ARM EABI toolchain for Windows
 
     2. By default, this project assumes that you are *NOT* using the DFU
        bootloader.
diff --git a/configs/stm32f4discovery/posix_spawn/defconfig b/configs/stm32f4discovery/posix_spawn/defconfig
index c9db2ce11ed..e29d3474101 100644
--- a/configs/stm32f4discovery/posix_spawn/defconfig
+++ b/configs/stm32f4discovery/posix_spawn/defconfig
@@ -5,7 +5,6 @@ CONFIG_ARCH_BOARD_STM32F4_DISCOVERY=y
 CONFIG_ARCH_CHIP_STM32=y
 CONFIG_ARCH_CHIP_STM32F407VG=y
 CONFIG_ARCH_STACKDUMP=y
-CONFIG_ARMV7M_TOOLCHAIN_CODESOURCERYW=y
 CONFIG_BINFMT_CONSTRUCTORS=y
 CONFIG_BINFMT_EXEPATH=y
 CONFIG_BOARDCTL_APP_SYMTAB=y
@@ -14,8 +13,8 @@ CONFIG_DEV_LOWCONSOLE=y
 CONFIG_ELF=y
 CONFIG_EXAMPLES_POSIXSPAWN=y
 CONFIG_EXECFUNCS_HAVE_SYMTAB=y
-CONFIG_EXECFUNCS_NSYMBOLS_VAR="g_spawn_nsymbols"
-CONFIG_EXECFUNCS_SYMTAB_ARRAY="g_spawn_symtab"
+CONFIG_EXECFUNCS_NSYMBOLS_VAR="g_spawn_nexports"
+CONFIG_EXECFUNCS_SYMTAB_ARRAY="g_spawn_exports"
 CONFIG_FS_ROMFS=y
 CONFIG_HAVE_CXX=y
 CONFIG_HOST_WINDOWS=y
diff --git a/libs/libc/stdlib/lib_srand.c b/libs/libc/stdlib/lib_srand.c
index 1888ea66f30..46e07ca9996 100644
--- a/libs/libc/stdlib/lib_srand.c
+++ b/libs/libc/stdlib/lib_srand.c
@@ -281,8 +281,8 @@ unsigned long nrand(unsigned long limit)
 
       result = (unsigned long)(((double_t)limit) * ratio);
 
-      /* Loop because there is a (unlikely) possibility that round could but
-       * the result at the limit value.
+      /* Loop because there is an (unlikely) possibility that rounding
+       * could increase the result at the limit value about the limit.
        */
     }
   while (result >= limit);