I don't have any objection to this particular change, but equally I think it was OK how it was before. Meh :-)