double desktop icons: bug or feature?