Fix grub

Fixes #1