diff --git a/TODO b/TODO
index 3d92fd7ee2..19b328e54d 100644
--- a/TODO
+++ b/TODO
@@ -745,7 +745,7 @@ o Kernel/Protected Build
   Title:       USER MODE TASKS CAN MODIFY PRIVILEGED TASKS
   Description: Certain interfaces, such as sched_setparam(),
                sched_setscheduler(), etc. can be used by user mode tasks to
-               modify the behavior of priviledged kernel threads.
+               modify the behavior of privileged kernel threads.
                For a truly secure system.  Privileges need to be checked in
                every interface that permits one thread to modify the
                properties of another thread.
@@ -1282,7 +1282,7 @@ o Network (net/, drivers/net)
                  however, because its priority is low and so it is blocked
                  from execution.
                - In the mean time, the remote host sends a
-                 packet which is presumeably caught in the read-ahead buffer.
+                 packet which is presumably caught in the read-ahead buffer.
               - Then the remote host closes the socket.  Nothing happens on
                  the target side because net_start_monitor() has not yet been
                  called.
diff --git a/configs/nucleo-l432kc/README.txt b/configs/nucleo-l432kc/README.txt
index b68e68ebbd..43eacb4391 100644
--- a/configs/nucleo-l432kc/README.txt
+++ b/configs/nucleo-l432kc/README.txt
@@ -230,12 +230,10 @@ NuttX EABI "buildroot" Toolchain
 
   1. You must have already configured Nuttx in <some-dir>/nuttx.
 
-     $ (cd tools; ./configure.sh nucleo-f4x1re/f401-nsh)
+     $ tools/configure.sh nucleo-f432kc/nsh
      $ make qconfig
      $ V=1 make context all 2>&1 | tee mout
 
-     Use the f411-nsh configuration if you have the Nucleo-F411RE board.
-
   2. Download the latest buildroot package into <some-dir>
 
   3. unpack the buildroot tarball.  The resulting directory may
@@ -298,14 +296,13 @@ NXFLAT Toolchain
 mbed
 ====
 
-  The Nucleo-F401RE includes boot loader from mbed:
+  The Nucleo-F432KC includes boot loader from mbed:
 
-    https://mbed.org/platforms/ST-Nucleo-F401RE/
     https://mbed.org/handbook/Homepage
 
   Using the mbed loader:
 
-  1. Connect the Nucleo-F4x1RE to the host PC using the USB connector.
+  1. Connect the Nucleo-F432kc to the host PC using the USB connector.
   2. A new file system will appear called NUCLEO; open it with Windows
      Explorer (assuming that you are using Windows).
   3. Drag and drop nuttx.bin into the MBED window.  This will load the
@@ -322,7 +319,7 @@ Hardware
 
   LEDs
   ----
-  The Nucleo F401RE and Nucleo F411RE provide a single user LED, LD2.  LD2
+  The Nucleo F401RE and Nucleo F432KC provide a single user LED, LD2.  LD2
   is the green LED connected to Arduino signal D13 corresponding to MCU I/O
   PB3 (pin 26).
 
@@ -367,7 +364,7 @@ Serial Consoles
 
   TTL to RS-232 converter connection:
 
-    Nucleo CN10 STM32F4x1RE
+    Nucleo CN10 STM32F432KC
     ----------- ------------
     Pin 21 PA9  USART1_RX   *Warning you make need to reverse RX/TX on
     Pin 33 PA10 USART1_TX    some RS-232 converters
@@ -399,7 +396,7 @@ Serial Consoles
 
   TTL to RS-232 converter connection:
 
-    Nucleo CN9  STM32F4x1RE
+    Nucleo CN9  STM32F432KC
     ----------- ------------
     Pin 1  PA3  USART2_RX   *Warning you make need to reverse RX/TX on
     Pin 2  PA2  USART2_TX    some RS-232 converters
@@ -457,7 +454,7 @@ Configurations
   nsh:
   ---------
     Configures the NuttShell (nsh) located at apps/examples/nsh for the
-    Nucleo-F401RE board.  The Configuration enables the serial interfaces
+    Nucleo-F432KC board.  The Configuration enables the serial interfaces
     on UART2.  Support for builtin applications is enabled, but in the base
     configuration no builtin applications are selected (see NOTES below).
 
@@ -484,7 +481,7 @@ Configurations
        Consoles).  I have been using a TTL-to-RS-232 converter connected
        as shown below:
 
-       Nucleo CN10 STM32F4x1RE
+       Nucleo CN10 STM32F432KC
        ----------- ------------
        Pin 21 PA9  USART1_RX   *Warning you make need to reverse RX/TX on
        Pin 33 PA10 USART1_TX    some RS-232 converters
diff --git a/configs/nucleo-l432kc/include/board.h b/configs/nucleo-l432kc/include/board.h
index 529accb653..3e7e90c453 100644
--- a/configs/nucleo-l432kc/include/board.h
+++ b/configs/nucleo-l432kc/include/board.h
@@ -146,7 +146,7 @@
 
 /* LEDs
  *
- * The Nucleo l476RG board provides a single user LED, LD2.  LD2
+ * The Nucleo l432kc board provides a single user LED, LD2.  LD2
  * is the green LED connected to Arduino signal D13 corresponding to
  * MCU I/O PB3 (pin 26).
  *
@@ -266,4 +266,4 @@ void stm32l4_board_initialize(void);
 #endif
 
 #endif /* __ASSEMBLY__ */
-#endif  /* __CONFIGS_NUCLEO_F476RG_INCLUDE_BOARD_H */
+#endif  /* __CONFIGS_NUCLEO_F432KC_INCLUDE_BOARD_H */