[Misc] Fix extension name