fix in New things in C# 6 blog post