Fix a small compilation error