--- /tmp/11-xdg-menu-KDE-4	2010-03-07 18:53:36.000000000 +0100
+++ /tmp/11-xdg-menu-KDE-4	2010-03-07 18:53:41.000000000 +0100
@@ -1,5 +1,5 @@ 
 #!/bin/sh
 
-if [ -z ${XDG_MENU_PREFIX} ] && [ ${DESKTOP_SESSION} = "KDE-4" ]; then
+if [ -z ${XDG_MENU_PREFIX} ] && [ "${DESKTOP_SESSION}" = "KDE-4" ]; then
 	export XDG_MENU_PREFIX="kde-4.4-"
 fi