small compilation error