Men detta är ju ett glädjande tecken.