fix workspace deletion.