diff --git a/README.md b/README.md
index bcee390..035c439 100644
--- a/README.md
+++ b/README.md
@@ -18,9 +18,15 @@ Isabelle/DOF has three major prerequisites:
   AFP following the instructions given at
   <https://www.isa-afp.org/using.html>. For your convenience, we also
   provide a script that only installs the two entries required by
-  Isabelle/DOF into the local Isabelle/DOF directory. You can use this
-  script as follows:
+  Isabelle/DOF into the local Isabelle/DOF directory. First, Isabelle/DOF
+  needs to be registered as an Isabelle component:
+  
+  ```console
+  foo@bar:~$ isabelle components -u `pwd`
+  ```  
 
+  Thereafter, the AFP entries can be installed as follows:
+  
   ```console
   foo@bar:~$ isabelle env ./install-afp
   ```  
@@ -32,7 +38,9 @@ Isabelle/DOF has three major prerequisites:
 
 Isabelle/DOF is provided as an Isabelle component. After installing the
 prerequisites, change into the directory containing Isabelle/DOF (this should be
-the directory containing this `README.md` file) and execute
+the directory containing this `README.md` file) and execute (if you executed
+this command already during the installation of the pre-requisites, you 
+can skip it now):
 
 ```console
 foo@bar:~$ isabelle components -u `pwd`
diff --git a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
index 1e6ff39..4cf51c2 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
+++ b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
@@ -69,8 +69,7 @@ text\<open>
 subsubsection*[isadof::technical]\<open>Installing \<^isadof>\<close>
 text\<open>
   In the following, we assume that you already downloaded the \<^isadof> distribution 
-  (\href{\isadofarchiveurl}{\isadofarchiven}) from the \<^isadof> web site. The main steps for 
-  installing are extracting the \<^isadof> distribution and calling its \<^boxed_bash>\<open>install-afp\<close> script. 
+  (\href{\isadofarchiveurl}{\isadofarchiven}) from the \<^isadof> web site. 
   We start by extracting the \<^isadof> archive:
 @{boxed_bash [display]\<open>ë\prompt{}ë tar xf ë\href{\isadofarchiveurl}{\isadofarchiven}ë\<close>}
 This will create a directory \texttt{\isadofdirn} containing \<^isadof> distribution.