Detta är ett glädjande tecken;