The name of the file occurs twice and I see three differences between the two occurences. Are the diagnostics really like that?