Minor GUI cosmetic changes