fix GRUB typo