Fix typo made in 0e409a15