Minor tweak to session.php