removed leftover include of a removed header file