minor fix c# port