Fix useless header inclusion