Howdy, I've fixed it in CVS, thanks for reporting. In the future, please report bugs in the installation manual and release notes to debian-boot. Matt
Attachment: pgpJBMryJYRQo.pgp Description: PGP signature