UI: several minor enhancements