Washington left tackle Trent Williams was taken to a hospital for unspecified precautionary reasons after the Redskins' loss to the Dallas Cowboys.
The six-time Pro Bowl player returned against the Cowboys after missing three games with a dislocated right thumb.
Williams appeared to get injured along the sideline at the end of an 8-yard run by Kapri Bibbs in the third quarter. Williams returned to the game, and coach Jay Gruden didn't include the 30-year-old in an update on injuries after the game.
A medic inside the ambulance that took Williams to the hospital appeared to be tending to the right side of his body.
JP Finlay of NBC Sports Washington tweeted he was taken as a precautionary measure and is OK.