Typo fix pointed out by @mhvk