Unneeded #include directive