oops, fix header inclusion