Correction re. dd-dvd configuration option.