That was a trade, though. Mets had to give up players to get him because chose the Marlins over the Mets as a free agent.