diff --git a/reference/session/ini.xml b/reference/session/ini.xml
index 4bfe97f575..1b0c8d058a 100644
--- a/reference/session/ini.xml
+++ b/reference/session/ini.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.37 $ -->
+<!-- $Revision: 1.38 $ -->
 <section id="session.configuration">
  &reftitle.runtime;
  &extension.runtime;
@@ -290,7 +290,7 @@
      <literal>session.serialize_handler</literal> defines the name
      of the handler which is used to serialize/deserialize
      data. Currently, a PHP internal format (name
-     <literal>php</literal>) and WDDX is supported (name
+     <literal>php</literal>) and WDDX are supported (name
      <literal>wddx</literal>). WDDX is only available, if PHP is
      compiled with <link linkend="ref.wddx">WDDX
      support</link>. Defaults to <literal>php</literal>.