Fix: save of workspace!