Fix a C# compiler warning