Fix a problem where a coverage store would created under the default
workspace regardless of the workspace name being specified or not.