Unreviewed Windows build fix after r197728.