fix inclusion bug