Fix bug in workspace saving:

* push code into correct message for the workspace