Suddenly, after emptying the GNOME desktop trash in F13, the trash symbol does not changefrom full to empty.