Fix ptreap