added an alias; fixed grub config