Some GUI tweaks