Merge #10309: Trivial: remove extra character from comment