jfi: The disc debian-update-4.0r1-amd64-DVD-1 calls itself Debian GNU/Linux 4.0r1 Update CD 20070820: amd64 CD 1 instead of Debian GNU/Linux 4.0r1 Update DVD 20070820: amd64 DVD 1 Dirk.