Added missing #include - bug #2141.