Minor GUI tweak