ktrees/ptrees naming changes