Fix two (potential) typos

I've been using your document to learn about multi-succedent calculi, so be careful, these may actually not be typos.