Correcting inclusion bugs