I guess main should actually have the extension.