Questão jurídica principal
Whether the dispositive of the prior federal judgment had to be corrected so that the cantonal court costs were also set aside.
Decisão extraída
Yes. The omission was a clerical oversight that could be corrected by supplementing the prior judgment and annulling item 2 of the cantonal judgment.
Fundamentação extraída
Because the applicant had prevailed in substance and the Federal Supreme Court had intended no costs consequences, the failure to extend the no-costs order to the cantonal proceedings was an inadvertent error correctable under Art. 129 para. 1 BGG.