Fix small typo

No biggie, just noticed it tonight while doing some exports.