Typo: missing quotes in session.php doc block