Fixed for VC++ November 2013 CTP