tiny gui refinements