Fix compilation warning introduced by aef73939a513e67989a9ad2256f14754ebdaa28e.