#9486. Fixed missing #include.