Some change to make legal happy

[git-p4: depot-paths = "//depot/private/jchin/HBAR-DTK/": change = 122037]
fix a un-displayable char