Fix a broken compilation