TTreap: minor tweak on Fetch()