Another small change for Windows.