fix a typo in the previous commit. (#475854, comment #4)