Raccontaci di un bug con la tabulazione: come è stato trovato, qual era la causa e quali metodi di diagnosi sono stati utilizzati?