Getty Images

Dolphins receiver Chad Ochocinco said last month that he was going back to Chad Johnson, and now that’s exactly what he’s doing.

Johnson was in the Broward County courthouse this morning to finalize the process of legally changing his name back to Johnson, Jeff Darlington of NFL.com reports. He legally changed his name to Ochocinco in August of 2008 and has apparently decided that four years of Ochocinco was enough.

Changing his name cost Johnson $401. It is not clear whether it will cost him more money to change the name on his jersey, which may entail personally paying for any jerseys that have already been printed with “Ochocinco” on the back.

The original name change from Johnson to Ochocinco came after then-Bengals receiver Chad Johnson was fined $5,000 for putting “Ochocinco” on the back of his jersey before a game. On Twitter Ochocinco has been referring to himself as Chad Johnson, even though his Twitter handle remains @Ochocinco. There’s no word on whether he’ll change the name of the Ochocinco News Network to the Johnson News Network.