Minor GUI improvements