fix Windows typo

introduced in #6810