Wiki page correction: GRUB2