Det är ett glädjande tecken,