diff --git a/configs/README.txt b/configs/README.txt
index e4e5248225b..2d0e6e5af26 100644
--- a/configs/README.txt
+++ b/configs/README.txt
@@ -1495,9 +1495,6 @@ configs/pic32mx7mmb
   This directory will (eventually) contain the port of NuttX to the
   Mikroelektronika PIC32MX7 Multimedia Board (MMB).  See
   http://www.mikroe.com/ for further information.
- 
-  On initial check-in, this directory is just a clone of the PIC32 starter
-  kit port with the appropriate naming changes.  More to come.
 
 configs/pjrc-8051
   8051 Microcontroller.  This port uses the PJRC 87C52 development system
diff --git a/configs/pic32mx7mmb/README.txt b/configs/pic32mx7mmb/README.txt
index 9ee125f7b34..d24b99430ce 100644
--- a/configs/pic32mx7mmb/README.txt
+++ b/configs/pic32mx7mmb/README.txt
@@ -2,7 +2,7 @@ configs/pic32mx7mmb README
 ===============================
 
 This README file discusses the port of NuttX to the  Mikroelektronika PIC32MX7
-Multimedia Board (MMB)
+Multimedia Board (MMB).  See http://www.mikroe.com/ for further information.
 
 Contents
 ========