Fixes to error correction tools, in order to get the right output files back, so that subsequent tools can process the right files (rather than the raw ones).