Added __destruct(), for stable pseudo-branch