small compilation fix