some GUI tweaks