correctly exporting dk