wrong window title in gnome panel's windows list

Binary package hint: gnome-terminal

Hi, I don't know if this is a problem in gnome-terminal or in gnome-panel.

I have a somehow complex window title in my .bashrc and use it in most of the hosts I log, however, at some point (maybe after upgrading to Hardy?), sometimes (I can't force it to happen), although the window title in gnome-terminal is always OK, the corresponding title in the panel's window list sticks to an older version of the title (maybe some application, maybe the prompt in another host).

FWIW, here's the relevant part of my .bashrc:

###################################################
## Color variables for the prompt.
NONE='\[\033[0m\]'

BLACK='\[\033[0;30m\]'
RED='\[\033[0;31m\]'
GREEN='\[\033[0;32m\]'
BROWN='\[\033[0;33m\]'
BLUE='\[\033[0;34m\]'
PURPLE='\[\033[0;35m\]'
CYAN='\[\033[0;36m\]'
LTGRAY='\[\033[0;37m\]'

DKGRAY='\[\033[1;30m\]'
LTRED='\[\033[1;31m\]'
LTGREEN='\[\033[1;32m\]'
YELLOW='\[\033[1;33m\]'
LTBLUE='\[\033[1;34m\]'
MAGENTA='\[\033[1;35m\]'
LTCYAN='\[\033[1;36m\]'
WHITE='\[\033[1;37m\]'

PROMPT_COMMAND='echo -ne "\033]2;${USER}@${HOSTNAME}: ${PWD/$HOME/~}|||";date +%a\ %d-%m-%Y\ %H:%M:%S;echo -ne "||| bash ${BASH_VERSION}\007"'

# set variable identifying the chroot you work in (used in the prompt below)
if [ -z "$debian_chroot" ] && [ -r /etc/debian_chroot ]; then
    debian_chroot=$(cat /etc/debian_chroot)
fi

if [ ${LOGNAME} = ${USER} ] ; then
 USERCOLOR=${YELLOW}
else
 USERCOLOR=${MAGENTA}
fi
if [ $USER = 'root' ] ; then
 USERCOLOR=${LTRED}
fi

PS1="${CYAN}${debian_chroot:+($debian_chroot)}${LTBLUE}[\l(\j)/\!]${USERCOLOR}\u@\h${MAGENTA}:${LTGREEN}\w${LTRED} \\\$${NONE} "
PS2="${MAGENTA}>${NONE} "
###################################################