some UI niceties