The old license header was restored by mistake here.