fix includes bug