Correct the defconfig