TTreap: minor tweak