Small enhancements in gui design