Fix typo introduced by 56689d8b24a049cf0f8014d023d1a1abdcbdc029