Fix typo added in 17e0ec9d2ec3c.