Le ticket est fermé, parce que j’ai déjà corrigé le problème.

Quant au cas “joli”, c’est peut-être parce que ma version est plus récente.