diff --git a/docs/simplesamlphp-install.txt b/docs/simplesamlphp-install.txt
index 32d03ac7109d6d92585dd4675a056afa66b3466f..e065ccf43d94fbce531ad9470cd947b5f2eda704 100644
--- a/docs/simplesamlphp-install.txt
+++ b/docs/simplesamlphp-install.txt
@@ -296,12 +296,10 @@ Now, we need to make a few configuration changes. First, let's edit
 Change the two lines from:
 
     require_once(dirname(dirname(__FILE__)) . '/lib/_autoload.php');
-    $path_extra = dirname(dirname(__FILE__)) . '/lib';
 
 to something like:
 
     require_once('/home/andreas/simplesamlphp/lib/_autoload.php');
-    $path_extra = '/home/andreas/simplesamlphp/lib';
 
 And then at the end of the file, you need to change another line
 from: