Minor fix for splaytree