I was able to reproduce the issue you described and logged it for further investigation. I forwarded it to our development team and will notify you once I have more information. Thank you for the report.
DevCraft Q1'14 is here! Watch the online conference to see how this release solves your top-5 .NET challenges. Watch on demand now.