some minor GUI bugs