model updated with C# annotation