This is completely correct. But seeing as Frar won anyways, it's ultimately inconsequential here.
If the winner of a match had an illegal Pokemon (in any week), it will be ruled no contest. If the loser had an illegal pokemon and the match was completed, then the win stands.