little GUI enhancements