Fix a missing include.