Add missing EXPORT tag