Fixing another compilation problem with VS2012, thanks to John Biddiscombe for suggesting this