give Dummy a sort key

In order to sort dummies canonically, the index has to be added to the sort key, otherwise dummies with the same name are not ordered uniquely.