Fix compilation error
Merge pull request #5139 from wmtan/FixCompilationError

Fix compilation error