Fix typo missed in 135d3dd