Save the workspace, too