bug fix: compilation error in VS2013