Fix numbering resolution in the "i'm sorry mario but the princess" case.