Wrong file name referenced in comment