Parlez-nous d'un bug de tabulation : comment l'avez-vous trouvé, quelle en était la cause et quelles méthodes de diagnostic avez-vous utilisées ?