fix broken warden pointer