Key legal question
Whether dispositive item 2 of the prior judgment had to be corrected to list both cantonal decisions separately.
Extracted holding
No correction was required; the wording already clearly encompassed both lower-court decisions.
Extracted reasoning
The dispositive, read with the reasoning, unmistakably referred to the two corresponding cantonal cases; demanding separate repetition would be excessive formalism under Art. 129 BGG.