fix grub if/else