small fixes to Patching::STLContainerWrapper<>