Add missing backtick in comment
Merge pull request #8498 from cvrebert/patch-1

Add missing backtick in comment