fix include that got lost