Avoid a compilation warning
Avoid a compilation warning