Sometimes PHP is really really fiddly with session handling