Minor GUI fixes