minor change in GUI