some minor GUI fix (adding restart button)