(Of course this isn't to criticise this change, it's more a general pondering...)