diff --git a/docs/CONNECT-TO-OUTSIDE.md b/docs/CONNECT-TO-OUTSIDE.md
index 438e4db..eb3f5b6 100644
--- a/docs/CONNECT-TO-OUTSIDE.md
+++ b/docs/CONNECT-TO-OUTSIDE.md
@@ -54,18 +54,18 @@
 
 After rebooting, run Mini-NDN and issue the following command:
 
-    mininet>net
+    mini-ndn>net
     a a-eth0:b-eth0 a-eth1:c-eth0 a-eth2:root-eth0
 
 Node "a" is connected to "root-eth0". Now issue "ifconfig a-eth2" on node "a":
 
-    mininet>a ifconfig a-eth2
+    mini-ndn>a ifconfig a-eth2
     a-eth2    Link encap:Ethernet  HWaddr fa:76:d4:86:d3:ba
               inet addr:1.0.0.10  Bcast:1.0.0.11  Mask:255.255.255.252
 
 As learned from the previous step, the IP address of root-eth0 is 1.0.0.9.
 
-    mininet>a ping 1.0.0.9
+    mini-ndn>a ping 1.0.0.9
     PING 1.0.0.9 (1.0.0.9) 56(84) bytes of data.
     64 bytes from 1.0.0.9: icmp_seq=1 ttl=64 time=0.137 ms
     64 bytes from 1.0.0.9: icmp_seq=2 ttl=64 time=0.123 ms
diff --git a/docs/GETTING-STARTED.md b/docs/GETTING-STARTED.md
index ccc6f18..205d2eb 100644
--- a/docs/GETTING-STARTED.md
+++ b/docs/GETTING-STARTED.md
@@ -25,24 +25,24 @@
 
 After set up, the command-line interface (CLI) will display a prompt.
 
-    mininet>
+    mini-ndn>
 
 To interact with a node, first type the node's name and then the command to be executed:
 
-    mininet> a echo "Hello, world!"
+    mini-ndn> a echo "Hello, world!"
     Hello, world!
 
 To see the status of the forwarder on the node:
 
-    mininet> a nfdc status report
+    mini-ndn> a nfdc status report
 
 To see the status of routing on the node:
 
-    mininet> a nlsrc status
+    mini-ndn> a nlsrc status
 
 To exit Mini-NDN, type `quit` in the CLI:
 
-    mininet> quit
+    mini-ndn> quit
 
 For a more in depth explanation of the CLI, please see the
 [Mininet Walkthrough](http://mininet.org/walkthrough/).