small GUI fixes (ref: #558)