minor GUI improvements