Re #9199. Changed names of the output workspaces