Fix a failing build