Fixing typo introduced in 9541dee5