diff --git a/reference/session/functions/session-destroy.xml b/reference/session/functions/session-destroy.xml
index 0dea0e8170..f631f21f8e 100644
--- a/reference/session/functions/session-destroy.xml
+++ b/reference/session/functions/session-destroy.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.3 $ -->
+<!-- $Revision: 1.4 $ -->
 <!-- splitted from ./en/functions/session.xml, last change in rev 1.2 -->
   <refentry id="function.session-destroy">
    <refnamediv>
@@ -20,7 +20,7 @@
     </simpara>
     <para>
      In order to kill the session altogether, like to log the user out, the
-     session id must also be unset. If a cookie is used to propogate the 
+     session id must also be unset. If a cookie is used to propagate the 
      session id (default behavior), then the session cookie must be deleted.  
      <function>setcookie</function> may be used for that.
     </para>