minor GUI changes