diff --git a/contrib/actions/install-dependencies.sh b/contrib/actions/install-dependencies.sh
index bb35cc3166f4a493f3215f47f4c38ee234cce438..3f21e056c5d47f2a257b343b827fd25ff64b5f62 100755
--- a/contrib/actions/install-dependencies.sh
+++ b/contrib/actions/install-dependencies.sh
@@ -3,6 +3,6 @@
 set -e
 
 apt-get -y update
-apt-get -y install git subversion build-essential python gawk unzip libncurses5-dev zlib1g-dev libssl-dev wget time qemu-utils
+apt-get -y install git subversion build-essential python3 gawk unzip libncurses5-dev zlib1g-dev libssl-dev wget time qemu-utils
 apt-get -y clean
 rm -rf /var/lib/apt/lists/*
diff --git a/docs/user/getting_started.rst b/docs/user/getting_started.rst
index e22a11a57eefa1d33b132f4d46c77efcca5a908c..7cf008340e1ee2378155ec4f91a568ade181cd69 100644
--- a/docs/user/getting_started.rst
+++ b/docs/user/getting_started.rst
@@ -29,7 +29,7 @@ freshly installed Debian Stretch system the following packages are required:
 
 * `git` (to get Gluon and other dependencies)
 * `subversion`
-* `python` (Python 3 doesn't work)
+* `python3`
 * `build-essential`
 * `gawk`
 * `unzip`