Fix a broken declaration