fixed minor bug in workspace gui