Fix export clause

This makes our clause DSFG acceptable to be considered `free software`.