Dolphins' draft picks confirmed at 10 after NFL corrected a prior miscalculation.
Miami loses an extra seventh-round pick, now having three compensatory selections instead of four.
Dolphins' compensation picks result from player departures to other teams.