Remove spurious #include