fixed an incorrectly labelled config key example
diff --git a/user_guide/changelog.html b/user_guide/changelog.html
index 92765c4..a322d35 100644
--- a/user_guide/changelog.html
+++ b/user_guide/changelog.html
@@ -94,7 +94,7 @@
<h3>Bug fixes for 1.7.3</h3>
<ul>
- <li>Fixed assorted user guide typos or examples.</li>
+ <li>Fixed assorted user guide typos or examples (#10693).</li>
<li>Increased randomness with <kbd>is_really_writable()</kbd> to avoid file collisions when hundreds or thousands of requests occur at once.</li>
<li>Fixed or clarified assorted user guide typos or examples.</li>
<li>Made <kbd>get_mime_by_extension()</kbd> case insensitive.</li>
diff --git a/user_guide/libraries/sessions.html b/user_guide/libraries/sessions.html
index 11313b5..c93c761 100644
--- a/user_guide/libraries/sessions.html
+++ b/user_guide/libraries/sessions.html
@@ -123,7 +123,7 @@
<p>Note: Session cookies are only updated every five minutes by default to reduce processor load. If you repeatedly reload a page
you'll notice that the "last activity" time only updates if five minutes or more has passed since the last time
-the cookie was written. This time is configurable by changing the $config['time_to_update'] line in your system/config/config.php file.</p>
+the cookie was written. This time is configurable by changing the $config['sess_time_to_update'] line in your system/config/config.php file.</p>
<h2>Retrieving Session Data</h2>