Fixes a typo from a7713765

@robin850