Ett glädjande tecken var det.