Fix a missing require