diff --git a/doc/EN/debianinstall.org b/doc/EN/debianinstall.org
index 8b13bf45..b62f501b 100644
--- a/doc/EN/debianinstall.org
+++ b/doc/EN/debianinstall.org
@@ -28,7 +28,7 @@ git clone https://github.com/bashrc/freedombone
 cd freedombone
 git checkout stretch
 make install
-freedombone makeconfig
+freedombone menuonfig (or freedombone menuconfig-onion)
 #+END_SRC
 
 The installation process will then begin. Depending upon the hardware you're installing onto and your internet connection speed it may take quite a while to install.
diff --git a/website/EN/debianinstall.html b/website/EN/debianinstall.html
index 60fcaee8..02f38c0c 100644
--- a/website/EN/debianinstall.html
+++ b/website/EN/debianinstall.html
@@ -3,10 +3,10 @@
 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
 <head>
-<!-- 2017-06-25 Sun 23:22 -->
+<!-- 2018-01-23 Tue 19:31 -->
 <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
 <meta name="viewport" content="width=device-width, initial-scale=1" />
-<title></title>
+<title>&lrm;</title>
 <meta name="generator" content="Org mode" />
 <meta name="author" content="Bob Mottram" />
 <meta name="description" content="How to install Freedombone onto an existing Debian system"
@@ -257,15 +257,15 @@ It's still possible to install the system onto these unsupported devices if you
 </p>
 
 <div class="org-src-container">
-<pre><code class="src src-bash">su
+<pre class="src src-bash">su
 apt-get update
 apt-get -qy install build-essential git dialog
 git clone https://github.com/bashrc/freedombone
 <span class="org-builtin">cd</span> freedombone
 git checkout stretch
 make install
-freedombone makeconfig
-</code></pre>
+freedombone menuonfig (or freedombone menuconfig-onion)
+</pre>
 </div>
 
 <p>
