Update htdocs/sources/session.php

a misprint