Minor fix in TabWidget class