Eliminate superfluous #include