Do not know what this is... Some bug with the VS2012 extension...