I think that no penalty here is okay. If it was for getting out of Q1 (and without that lap ferrari would have been through as well I believe) i would see a penalty fit. But where there's no real damage done, I dont see the need for a penalty
But of course it had to be Ferrari doing that shit