Minor GUI edit