
There was concern for Manchester City goalkeeper Ederson after he appeared to get kicked in the head in a challenge with Liverpool's Sadio Mane on Saturday.
The Brazilian came out of his area to thwart the Reds forward as he chased a bouncing ball, with Mane raising a boot that looked to make contact with Ederson's head.
Mane was dismissed and Ederson stayed down to receive treatment for several minutes before being taken off on a stretcher, with his side subsequently going on to win 5-0.
There were leading 2-0 into the half-time break.
Claudio Bravo was brought on to replace his stricken team-mate.
Meanwhile Sergio Aguero became the all-time leading non-European Premier League scorer when he struck City's opening goal against Liverpool.It was his 124th Premier League goal since joining City from Atletico Madrid in 2011, taking him clear of former Manchester United star Dwight Yorke's record of 123.
The goal -- the sixth successive time Aguero has scored at home to Liverpool -- also made him the Premier League's 15th highest scorer overall, one behind former Arsenal star Nicolas Anelka and two short of Robbie Keane's tally.
Gabriel Jesus (45+6 and 51) and Leroy Sane (77 and 90+1) were the other scorers for City in what was a eminently unforgettable outing for Jurgen Klopp's boys.