commit d8e25e94583706b02e0d39f7c108f4fb7ced656d
author Andrey Andreev <narf@devilix.net> Mon Jan 19 22:03:57 2015 +0200
committer Andrey Andreev <narf@devilix.net> Mon Jan 19 22:03:57 2015 +0200
tree 1564fc29548a967e184086230eb2f6cf01d82f74
parent 9a0e66096a1d70c28a7d5358f966f936f609d52b

[ci skip] Some polishing to the latest doc changes

user_guide_src/source/libraries/sessions.rst

diff --git a/user_guide_src/source/libraries/sessions.rst b/user_guide_src/source/libraries/sessions.rst
index be1a39e..18433d1 100644
--- a/user_guide_src/source/libraries/sessions.rst
+++ b/user_guide_src/source/libraries/sessions.rst
@@ -378,7 +378,7 @@
 This was due to the specifics of how sessions worked, but is now no longer
 necessary with our new implementation. However, it may happen that your
 application relied on these values, so here are alternative methods of
-accessing them::
+accessing them:
 
   - session_id: ``session_id()``
   - ip_address: ``$_SERVER['REMOTE_ADDR']``