diff --git a/configs/olimex-lpc1766stk/README.txt b/configs/olimex-lpc1766stk/README.txt
index dbb28047eb..a4ab8b8b26 100644
--- a/configs/olimex-lpc1766stk/README.txt
+++ b/configs/olimex-lpc1766stk/README.txt
@@ -837,16 +837,26 @@ USB host operations.  To make these modifications, do the following:
 1. First configure to build the NSH configuration from the top-level
    NuttX directory:
 
-   cd tools
-   ./configure nucleus2g/nsh
-   cd ..
+     cd tools
+     ./configure olimex-lpc1766stk/nsh
+     cd ..
 
-2. Then edit the top-level .config file to enable USB host.  Make the
-   following changes:
+2. Modify the top-level .config file to enable USB host using:
 
-   CONFIG_LPC17_USBHOST=y
-   CONFIG_USBHOST=y
-   CONFIG_SCHED_WORKQUEUE=y
+     make menuconfig
+
+   Make the following changes:
+
+     System Type -> LPC17xx Peripheral Support
+       CONFIG_LPC17_USBHOST=y
+
+     Device Drivers-> USB Host Driver Support
+       CONFIG_USBHOST=y
+       CONFIG_USBHOST_ISOC_DISABLE=y
+       CONFIG_USBHOST_MSC=y
+
+     Library Routines
+       CONFIG_SCHED_WORKQUEUE=y
 
 When this change is made, NSH should be extended to support USB flash
 devices.  When a FLASH device is inserted, you should see a device
diff --git a/configs/olimex-lpc1766stk/src/lpc17_nsh.c b/configs/olimex-lpc1766stk/src/lpc17_nsh.c
index 205206c880..c281077ab5 100644
--- a/configs/olimex-lpc1766stk/src/lpc17_nsh.c
+++ b/configs/olimex-lpc1766stk/src/lpc17_nsh.c
@@ -157,15 +157,13 @@ static struct usbhost_connection_s *g_usbconn;
 static int nsh_waiter(int argc, char *argv[])
 {
   bool connected = false;
-  int ret;
 
   message("nsh_waiter: Running\n");
   for (;;)
     {
       /* Wait for the device to change state */
 
-      ret = CONN_WAIT(g_usbconn, &connected);
-      DEBUGASSERT(ret == OK);
+      DEBUGVERIFY(CONN_WAIT(g_usbconn, &connected));
 
       connected = !connected;
       message("nsh_waiter: %s\n", connected ? "connected" : "disconnected");