Fix a missing #include.