Issue #9738: Ooops, fix typos in my previous commit (r87506)
2 files changed