Minor GUI tweaks