The "missing" 7th rounder

Apparently, Miami traded pick #219 earlier today as a part of the deal to move up and get Reshad Jones. It wasn't picked up immediately by most news organizations.

So Miami has 2 7th rounders.