Fix bug in workspace deletion