dann haben wir das gerade gleichzeitig gefixt.
ich wollte gerade ein svn update machen und sah, dass du haargenau die gleiche änderung gemacht hattest...

p.s.: force reload ist notwendig, falls sich jemand wundert. die javascript-datei muss neu geladen werden.