Fixup minor issue found in code review #4034