minor GUI fixes