Package: grub Version: 0.95+cvs20040624-12 Severity: minor The third line of menu.lst, generated by update-grub, says: ## by the debian update-grub script except for the default optons below It should be options, not optons. Regards, Joop pa3aba at debian.org