Merge "Fix hopefully minor bug in WorkSource.add"