diff --git a/debian/postinst.in b/debian/postinst.in
index c22cec1a3..1de837110 100644
--- a/debian/postinst.in
+++ b/debian/postinst.in
@@ -313,7 +313,7 @@ case "$1" in
         mkdir -p /boot/grub
 
         if test -e /boot/grub/device.map && ! test -e /boot/grub/core.img && \
-	   ! test -e /boot/grub/@CPU_PLATFORM@/core.img; then
+           ! test -e /boot/grub/@CPU_PLATFORM@/core.img; then
           # Looks like your device.map was generated by GRUB Legacy, which
           # used to generate broken device.map (see #422851).  Avoid the risk
           # by regenerating it.
@@ -434,7 +434,7 @@ case "$1" in
             touch /boot/grub/grub.cfg
           fi
         elif test -z "$2" || test -e /boot/grub/core.img || \
-	     test -e /boot/grub/@CPU_PLATFORM@/core.img || \
+             test -e /boot/grub/@CPU_PLATFORM@/core.img || \
              test "$UPGRADE_FROM_GRUB_LEGACY" || test "$wubi_device"; then
           question=grub-pc/install_devices
           device_map="$(grub-mkdevicemap -m - | grep -v '^(fd[0-9]\+)' || true)"