Yes, and there's nothing to say he wouldn't have had to commit another one to prevent a goal. The logic of replacing a player on a yellow card to protect them isn't difficult to understand, plus we already know that RM rates JS, so why he made the change is pretty obvious