diff --git a/user_guide_src/source/libraries/sessions.rst b/user_guide_src/source/libraries/sessions.rst
index 2020430012aa..623637d08b18 100644
--- a/user_guide_src/source/libraries/sessions.rst
+++ b/user_guide_src/source/libraries/sessions.rst
@@ -610,7 +610,7 @@ setting**. The examples below work both on MySQL and PostgreSQL::
 	ALTER TABLE ci_sessions DROP PRIMARY KEY;
 
 You can choose the Database group to use by adding a new line to the
-**application\Config\App.php** file with the name of the group to use::
+**app/Config/App.php** file with the name of the group to use::
 
   public $sessionDBGroup = 'groupName';