minor typo modify grub menu script