See a similar fix in 68d35960. Reading e1e17a55 I'm not exactly sure whether it's intentional or not, but I tend to think it's a typo.

[ci skip]