Ticket #1017: added missing #include.