Taking off Krasic was a good choice imo. Krasic is often taken out of the game by two people marking him. With a man down, two people marking him, won't free us a man. And with his dubious work rate in defence he wouldn't have helped the team. Not that any of this matters anyway now...