Another forgotten #include