Fix a missing stub