fix including deleting header, again?