Removed superfluous #include