Minor additions to C#