small GUI fixes (ref: #582)