cosmetic fixes to GUI elements