Original: At first he was called "Hotfoot Teddy," but he was later renamed Smokey, after the mascot.
Simplified: At first, he was called "Hotfoot Teddy," but he was later renamed Smokey, after the mascot.