Fix name of extension