reliable formatting for restart button