Fix compilation issue introduced in commit a9fcd84c
(cherry picked from commit 6f8244921231ed837f1d54204cf6b616c33cabc4)