Tight end Anthony Fasano and linebacker Kevin Burnett each left the game. Both were evaluated for possible concussions, Kelly wrote, and did not return to the game.
Each player had a strong game before exiting. Fasano had three catches for 31 yards, which gave him 41 catches on the season -- a career high.
Before Burnett left, the eighth-year linebacker had 10 tackles. In 16 starts this season, Burnett recorded 109 total tackles and 2 1/2 sacks.
With a 28-0 loss to the Patriots on Sunday, the Dolphins finished their season with a 7-9 record. It's the third time in four years that Miami has finished with a 7-9 record. It was the team's first season under head coach Joe Philbin, who was with the Green Bay Packers for the previous five seasons.