Fix for ExtendedExtractorRK.cpp