Fix small compilation warning