Small fix for VS2013