diff --git a/INSTALL b/INSTALL
index a692d9661..6c9297cf1 100644
--- a/INSTALL
+++ b/INSTALL
@@ -6,7 +6,7 @@
 
     $ sudo apt-get install libjs-jquery libjs-modernizr \
     libjs-twitter-bootstrap make pandoc python3 python3-cherrypy3 \
-    python3-django python3-bootstrapform
+    python3-django python3-bootstrapform python3-setuptools
 
 2. Install Plinth:
 
diff --git a/README.md b/README.md
index ad36e0c2a..8d027b230 100644
--- a/README.md
+++ b/README.md
@@ -41,7 +41,7 @@ servers.  Basic users should never even know those options exist.
 
 See the INSTALL file for additional details and dependencies. To install run:
 
-    $ sudo python setup.py install
+    $ sudo python3 setup.py install
 
 Run Plinth on the local system with: