Fixup minor issue found in code review #4034
Merge branch 'V8_0-branch'