Minor GUI cleaning.