Roberto Martínez embraced each and every one of his backroom staff, then did the same to every player before going over to applaud a small cluster of Belgium fans whose boos could be heard above the din of the stadium PA.
His six-year reign as head coach is over and so, despite his protestations to the contrary, are the World Cup dreams of a golden generation. They leave behind a diminished legacy.