At first he was called `` Hotfoot Teddy '' , but he was later renamed Smokey , after the mascot .
At first , he was called `` Hotfoot Teddy , '' but he was later renamed Smokey , after the mascot .