Fix a silly compilation error