Fix typo that was pointed out in 175b0c19c6963201a0a421c890d58ea63cc1ea70