Small improvement to WorkspaceView