Wout Weghorst was still waiting to come on and the only teammate who snapped at his lack of alacrity was Antony. Weghorst had not noticed Anthony Martial had already stepped off the pitch.
Many might not have noticed Martial had stepped on it. A 27-year-old who can barely last an hour, Martial trudged off less than 10 minutes into the second half, injured by Harry Maguire in the melee for Loic Bade's header.
Sevilla supporters have endured their worst domestic season of the century but they have not missed Martial. You have to wonder if some of the Sevilla fans recognised the former loanee who ambled past them.
Martial mustered one goal in Spain. Also read: United are giving De Gea a new contract for all the wrong reasons Martial is a No.9 who has not lived up to the number at United.