Fix divide by zero error when no files need correcting.

From #3213.