Miscellaneous GUI improvements