This fixes a VS build error. Fix by @johannkoenig. Change-Id: I6e71435d70ae56079db7328e4c7915416ece8fda