fix a typo from 2627198b0c