Adding a missing #include.