minor refinements ... tab deletion ...