Fix minor typo (#3153)
Fix minor typo and add "that" for clarity and ease of understanding.
P
Peter Hauke committed
79c91122b8bc3f20a6dd0f96742eea7e5e15e37f
Parent: 87a1bd3
Committed by GitHub <noreply@github.com>
on 3/18/2023, 3:34:44 PM