* Yet another fix to prevent tooltips to vanish prematurely.