Es handelt sich um einen Darstellungsfehler, anscheinend wird die Dock-Ansicht nicht aktualisiert … … darum hilft das Ein- und Ausblenden wie von fby beschrieben, um das Problem zu beheben.