minor gui tweaks