Original: He pushed for the renaming of the company to the World Wrestling Federation (WWF).
Simplified: He worked for the "World Wide Wrestling Federation" (WWWF) which later changed its name to "World Wrestling Federation" (WWF).