fix grub theme syntax.
NOT RELEASED YET