Undo renaming of ExtractorsResource#terminate