Remove extraneous #include