minor fixes for xmobar