Fix comment in CRM_Core_Session