Fix GRUB 2 example

Fixes #1891.