small refinements to UI