fix a minor typo

[git-p4: depot-paths = "//depot/private/jchin/HBAR-DTK/": change = 121565]
   minor typo fix

[git-p4: depot-paths = "//depot/private/jchin/HBAR-DTK/": change = 121566]
Merge remote-tracking branch 'p4/master'