Belgium will attempt to keep their winning start to Euro 2020 going on Wednesday when they face Denmark in Copenhagen.
Roberto Martinez's men crushed Russia 3-0 in their opening match, despite being without arguably their two most influential players in the form of Kevin De Bruyne and Eden Hazard, who was only available to start from the bench.
At least one change will be required for Belgium. Timothy Castagne went off with a facial injury that ended his tournament - and reports in his homeland suggested that if the blow had been just three centimetres higher it would also have ended his career. Nevertheless, he is hoping to be fit for the start of the season with Leicester.
Thomas Meunier is the natural replacement for Castagne, particularly after the Borussia Dortmund star came off the bench to assist one and score another against Russia.
The return of Hazard and De Bruyne further forward, meanwhile, offers Martinez additional options. There is no guarantee that either will start due to their recent physical problems, though the coach will be eager that both gain further sharpness by getting some game time.
Equally in midfield Witsel is fit again, though there is no urgent need to replace either Youri Tielemans or Leandro Dendoncker.
Jan Vertonghen has travelled but will likely be rested after picking up a minor ankle injury against Russia. Thomas Vermaelen is in line to replace him.
From Denmark's perspective, meanwhile, Christian Eriksen is out after suffering a cardiac arrest in their opening game against Finland, but the positive news is that the Inter midfielder appears to be in good spirits and making good progress given the circumstances.