fix a small compilation error