Fixed: default extension for export (#20)