more GUI tweaks