some minor GUI changes