Fixing a bug in naming

[#55648798]