Avoid a compilation warning