Именно. В качестве санкций предполагалось невозвращение флага на церемонию закрытия (а уже было известно, что флаг не дадут нести) либо немедленная высылка с олимпиады - что бессмысленно. Медалей за исполнение гимна лишить не могут. Это даже допингом признать нельзя, т.к. пели после матча, а не до.