Miscellaneous GUI tweaks