--- /etc/grub.d/10_linux	2012-05-17 08:21:59.000000000 +0100
+++ /etc/grub.d/10_linux	2013-03-21 09:28:30.854994928 +0000
@@ -29,1 +29,2 @@
 CLASS="--class gnu-linux --class gnu --class os"
+USERS=""
@@ -90,1 +91,2 @@
-  printf "menuentry '${title}' ${CLASS} {\n" "${os}" "${version}"
+  printf "menuentry '${title}' ${CLASS}${USERS} {\n" "${os}" "${version}"
+  USERS=' --users ""'
