Fixed a bug in workspace persistence