This makes totally sense to me. I will change this, as you proposed...