DPCHECK for #133