Update unproper inclusions