Unless it’s injury-related, taking Doc off is a ridiculous decision both in terms of tactics and man-management.
He was limping badly when he walked off at half time, I was surprised to see him coming out for the second.