Fixed a small bug in Doctrine_Lib.class.php where the non-existant Doctrine_Session::getStateAsString was called instead of Doctrine_Lib::getSessionStateAsString.