Compilation error fix after merging PR #5311

Compilation error fix after merging PR #5311