minor fix to C# core file