minor GUI enhancements