Fix a small compilation error.