Small syntax change

[#58301200]