Fix export clause

This makes our clause DSFG acceptable.