minor GUI improvments