No, they should be 40pF.
But actually, they are! Once you add in the capacitances of the traces and internal circuitry, they are pretty close to 40pF (just a hair on the shy side). From the crystal's point of view, it sees these two capacitors in series, hence 20pF total loading. This is a common mistake 9/10 people make. Maybe more. Shoot, even a world-famous DAC designer once thought I had it wrong...
jh