Invalid commands in grub documentation