Fix 'is exported' typo in S13