Fix: correct file name in diagnostics.