Exactly, they will probably change the rules to forbid this particular hack for the next season. But there is absolutely no cheating involved, and there will be no punishment for Red Bull this year.