Fix goofy name for extension