Minor change to desktop xmobar config