minor GUI change, temporary