=== modified file 'ChangeLog'
--- ChangeLog	2009-12-27 21:32:52 +0000
+++ ChangeLog	2009-12-28 01:16:20 +0000
@@ -1,3 +1,8 @@
+2009-12-28  Carles Pina i Estany  <address@hidden>
+
+	* normal/misc.c (grub_normal_print_device_info): Add spaces and double
+	quotes.
+
 2009-12-27  Vladimir Serbinenko  <address@hidden>
 
 	* normal/menu_text.c (grub_print_message_indented): Prevent

=== modified file 'normal/misc.c'
--- normal/misc.c	2009-12-20 23:32:15 +0000
+++ normal/misc.c	2009-12-28 01:15:34 +0000
@@ -68,7 +68,10 @@ grub_normal_print_device_info (const cha
 	      if (grub_errno == GRUB_ERR_NONE)
 		{
 		  if (label && grub_strlen (label))
-		    grub_printf_ (N_("- Label %s"), label);
+		    {
+		      grub_putchar (' ');
+		      grub_printf_ (N_("- Label \"%s\""), label);
+		    }
 		  grub_free (label);
 		}
 	      grub_errno = GRUB_ERR_NONE;
@@ -81,6 +84,7 @@ grub_normal_print_device_info (const cha
 	      if (grub_errno == GRUB_ERR_NONE)
 		{
 		  grub_unixtime2datetime (tm, &datetime);
+		  grub_putchar (' ');
 		  grub_printf_ (N_("- Last modification time %d-%02d-%02d "
 			       "%02d:%02d:%02d %s"),
 			       datetime.year, datetime.month, datetime.day,