more tiny gui enhancements