removed superfluous "the"
diff --git a/user_guide/libraries/pagination.html b/user_guide/libraries/pagination.html
index 3e50084..452a4d2 100644
--- a/user_guide/libraries/pagination.html
+++ b/user_guide/libraries/pagination.html
@@ -100,7 +100,7 @@
 <h3>Setting preferences in a config file</h3>

 

 <p>If you prefer not to set preferences using the above method, you can instead put them into a config file.

-Simply create a new file called the <var>pagination.php</var>,  add the <var>$config</var>

+Simply create a new file called <var>pagination.php</var>,  add the <var>$config</var>

 array in that file. Then save the file in: <var>config/pagination.php</var> and it will be used automatically. You

 will NOT need to use the <dfn>$this->pagination->initialize</dfn> function if you save your preferences in a config file.</p>