fix header inclusion