minor fix to PatchingDataStructures/PatchableContainerHelper: