Fix stupid oversight of missing #include.