The actual ruling on WWF name change.