--- debian/update-grub.orig	2007-02-25 16:02:28.000000000 +0100
+++ debian/update-grub	2007-02-25 16:03:31.178993863 +0100
@@ -983,7 +983,7 @@
 sortedKernels=""
 for kern in $(/bin/ls -1vr /boot | grep -v "dpkg-*" | grep -v "xen" | grep "^vmlinuz-") ; do
 	# found a kernel
-        if `echo "$xenKernels" | grep -q "$kern "` ; then
+        if `echo "$xenKernels " | grep -q "$kern "` ; then
           continue
         fi
         # not a Xen kernel