This totally looks like a bug in VS2013 (see 12.2/5).