Besten Dank, Pumene.
Das war genau meine Vermutung. Man muss sich also darüber hinwegsetzen, dass es – wegen der doppelten Verkürzung – so ungewohnt ausschaut. Ein Komma-Stakkato!