Fix a missing constructor definition