Fixing typo introduced in 7f57a1e