minor cleanup
[git-p4: depot-paths = "//src/gauntlet/dev/": change = 8637]