possible VS2013 bug