diff.c: plug a memory leak in an error path