Fix bug with partial inclusion