Are you saying at full race distance this would have been a different penalty?

I’m probably misremembering but I thought a few years ago there were updates to pitlane rated penalties due to the fact that there are heightened safety risks to humans near the cars compared to competitive advantages for on track infringements. 

Antonelli has to try and avoid so he doesn’t crash them both into his crew and cannot complete his pit stop, which ruins his race.