Fix a bug in the unified diff generator.